GNOME Bugzilla – Bug 72432
Changing Server Profile Name
Last modified: 2004-12-22 21:47:04 UTC
Changing an existing profile name doesn't change the name of any files / directory info in the .pan/data directory. Causes information to be "lost".
Fixed in CVS: not a good idea to make the profile name editable when editing an existing profile.