Already fixed in dev branch: https://gitweb.torproject.org/https-everywhere.git/commitdiff/58e138d7dce3df244ade2cd92fb199557c1e4b49 https://gitweb.torproject.or

Already fixed in dev branch: https://gitweb.torproject.org/https-everywhere.git/commitdiff/58e138d7dce3df244ade2cd92fb199557c1e4b49 https://gitweb.torproject.org/https-everywhere.git/commitdif...