@Bill:
thanks for working on this patch. I think one of the first step will to report
the issue upstream and post your patch.
You should open a bug against gnome-terminal package in ubuntu ("Also affects
distribution" -> gnome-terminal in ubuntu).
You can then link your bug in Launchpad to this one in clicking on "also
affects projects", ensure you have gnome-terminal selected, and copy the url
from upstream bug report).
Thanks a lot!
--
wget does not use network proxy in some cases
https://bugs.launchpad.net/bugs/232469
You received this bug notification because you are a member of Registry
Administrators, which is the registrant for Debian.
_______________________________________________
Mailing list: https://launchpad.net/~registry
Post to : [email protected]
Unsubscribe : https://launchpad.net/~registry
More help : https://help.launchpad.net/ListHelp
