[tor-bugs] #20712 [Metrics/Onionoo]: Put out Onionoo 3.1-1.0.0 release

[Tor Bug Tracker & Wiki]

#20712: Put out Onionoo 3.1-1.0.0 release
---------------------------------+-------------------------------
     Reporter:  karsten          |      Owner:  metrics-team
         Type:  enhancement      |     Status:  new
     Priority:  Medium           |  Milestone:  Onionoo 3.1-1.0.0
    Component:  Metrics/Onionoo  |    Version:
     Severity:  Normal           |   Keywords:
Actual Points:                   |  Parent ID:
       Points:                   |   Reviewer:
      Sponsor:                   |
---------------------------------+-------------------------------
 This ticket is for putting out the Onionoo 3.1-1.0.0 release, including
 any improvements to the build process to make that happen.

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