I'd second the last comment - currently the CLI dist-upgrade has much more options to handle differing files than GUI update-manager. At least the option to edit the file manually should be added.
I'd second the last comment - currently the CLI dist-upgrade has much more options to handle differing files than GUI update-manager. At least the option to edit the file manually should be added.