Michael, the proxy configuration has been also in the gnome proxy configuration ever since and it does not work without the patch. Your second patch again fixes "update-manager" but not "do-release-upgrade"
Michael, the proxy configuration has been also in the gnome proxy configuration ever since and it does not work without the patch. upgrade"
Your second patch again fixes "update-manager" but not "do-release-