https://bugzilla.wikimedia.org/show_bug.cgi?id=58548
--- Comment #1 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 101998 had a related patch set uploaded by Merlijn van Deen: (bug 58548) use proxy also for https connections
https://gerrit.wikimedia.org/r/101998