I'd avise you to report that upstream before you start working on it. It's possible that the problem is known, maybe even already fixed. Unfortunately, bugzilla.gnome.org is down for the week-end... Maybe it would be worth waiting monday - that's up to you. Else, sure, you can attach the patch here and I'll send it upstream if you like.
-- Proxy gets disabled if "Use the same proxy for all protocols" checkbox is unchecked https://bugs.launchpad.net/bugs/495496 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
