Hey Robert, could you fix that with the next update? Having a .maintscript (check gnome-screensaver for an example) doing a a rm_conffile of the old name should do it
Hey Robert, could you fix that with the next update? Having a .maintscript (check gnome-screensaver for an example) doing a a rm_conffile of the old name should do it