[tor-bugs] #13824 [Onionoo]: build failed in onionoo

[Tor Bug Tracker & Wiki]

#13824: build failed in onionoo
-------------------------+-------------------------------
     Reporter:  madjack  |      Owner:
         Type:  defect   |     Status:  needs_information
     Priority:  minor    |  Milestone:
    Component:  Onionoo  |    Version:
   Resolution:           |   Keywords:
Actual Points:           |  Parent ID:
       Points:           |
-------------------------+-------------------------------

Comment (by iwakeh):

 This problem will go away with the first release of metrics-lib (cf.
 #13166).

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