[tor-bugs] #8175 [Compass]: Fix filtering in Compass

[Tor Bug Tracker & Wiki]

#8175: Fix filtering in Compass
------------------------+---------------------------------------------------
    Reporter:  karsten  |       Owner:  gsathya
        Type:  defect   |      Status:  closed 
    Priority:  normal   |   Milestone:         
   Component:  Compass  |     Version:         
  Resolution:  fixed    |    Keywords:         
      Parent:           |      Points:         
Actualpoints:           |  
------------------------+---------------------------------------------------
Changes (by karsten):

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


Comment:

 Merged and deployed.  Thanks!

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