No matches were found for subject:"\[Bug 875039\] Re\: proxy settings don't work in gnome\-shell"