[tor-bugs] #9217 [EFF-HTTPS Everywhere]: Port number is added as path

[Tor Bug Tracker & Wiki]

#9217: Port number is added as path
-------------------------------------+--------------------------------------
    Reporter:  Kidlike               |       Owner:  pde        
        Type:  defect                |      Status:  closed     
    Priority:  major                 |   Milestone:             
   Component:  EFF-HTTPS Everywhere  |     Version:             
  Resolution:  not a bug             |    Keywords:  port-number
      Parent:                        |      Points:             
Actualpoints:                        |  
-------------------------------------+--------------------------------------
Changes (by Kidlike):

  * status:  new => closed
  * resolution:  => not a bug


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