[tor-bugs] #9643 [EFF-HTTPS Everywhere]: keys.mozilla.org and keyserver.mozilla.org don't resolve to https

[Tor Bug Tracker & Wiki]

#9643: keys.mozilla.org and keyserver.mozilla.org don't resolve to https
--------------------------------------+------------------------------
     Reporter:  mttp                  |      Owner:  pde
         Type:  defect                |     Status:  needs_review
     Priority:  normal                |  Milestone:
    Component:  EFF-HTTPS Everywhere  |    Version:
   Resolution:                        |   Keywords:  https-everywhere
Actual Points:                        |  Parent ID:
       Points:                        |
--------------------------------------+------------------------------

Comment (by zyan):

 The patch doesn't apply cleanly anymore, but I modified it and opened a
 pull request: https://github.com/pde/https-everywhere/pull/9

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/9643#comment:6>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online