[tor-bugs] #10728 [EFF-HTTPS Everywhere]: Clean up broken SSL Observatory settings

[Tor Bug Tracker & Wiki]

#10728: Clean up broken SSL Observatory settings
--------------------------------------+------------------------------
     Reporter:  pde                   |      Owner:  pde
         Type:  defect                |     Status:  closed
     Priority:  normal                |  Milestone:  HTTPS-E 4.0dev15
    Component:  EFF-HTTPS Everywhere  |    Version:
   Resolution:  fixed                 |   Keywords:  MikePerry201401R
Actual Points:                        |  Parent ID:
       Points:                        |
--------------------------------------+------------------------------
Changes (by pde):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 Mike reviewed this on Friday, so a fix has [https://gitweb.torproject.org
 /https-everywhere.git/commitdiff/370be366b89e8c79423592a514cfade24f7454fa
 now landed]

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