[tor-bugs] #3002 [Metrics]: metrics-db manual is out of date

[Tor Bug Tracker & Wiki]

#3002: metrics-db manual is out of date
--------------------------+-------------------------------------------------
    Reporter:  tagnaq     |       Owner:  karsten
        Type:  defect     |      Status:  closed 
    Priority:  normal     |   Milestone:         
   Component:  Metrics    |     Version:         
  Resolution:  duplicate  |    Keywords:         
      Parent:             |      Points:         
Actualpoints:             |  
--------------------------+-------------------------------------------------
Changes (by karsten):

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


Comment:

 Closing as a duplicate of #2912.  At least, cleaning up the documentation
 is part of that ticket.

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