[Gretl-devel] Add/remove functions

Hi all, I am trying to remove a helper function (named e.g. H1) from an existing package and replace it by another one (named H2) using the GUI. However, after pressing 'ok' and saving the changed 'version', the old helper function H1 is still listed and not replaced by the new one H2. I observed this behavior already a while ago but for some reason forgot about it. I am using the current git version on linux. At the moment I would need to compile a completely new package and replace the old one. Best, Artur