[tor-bugs] #13345 [EFF-HTTPS Everywhere]: coverity.com rule broken for blog.coverity.com

[Tor Bug Tracker & Wiki]

#13345: coverity.com rule broken for blog.coverity.com
----------------------------------+----------------------------------
 Reporter:  cypherpunks           |          Owner:  zyan
     Type:  defect                |         Status:  closed
 Priority:  Medium                |      Milestone:
Component:  EFF-HTTPS Everywhere  |        Version:  HTTPS-E 4.0dev14
 Severity:  Normal                |     Resolution:  fixed
 Keywords:                        |  Actual Points:
Parent ID:                        |         Points:
  Sponsor:                        |
----------------------------------+----------------------------------
Changes (by cypherpunks):

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


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