[tor-bugs] #13351 [EFF-HTTPS Everywhere]: source on github differs from source on torproject

[Tor Bug Tracker & Wiki]

#13351: source on github differs from source on torproject
--------------------------------------+--------------------
     Reporter:  gadelat               |      Owner:  zyan
         Type:  defect                |     Status:  closed
     Priority:  normal                |  Milestone:
    Component:  EFF-HTTPS Everywhere  |    Version:
   Resolution:  fixed                 |   Keywords:
Actual Points:                        |  Parent ID:
       Points:                        |
--------------------------------------+--------------------
Changes (by jsha):

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


Comment:

 Thanks for pointing this out! There was a gap when I didn't have push
 access to the Tor servers, now resolved.

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