[tor-bugs] #32452 [Metrics/CollecTor]: Release CollecTor 1.13.1

[Tor Bug Tracker & Wiki]

#32452: Release CollecTor 1.13.1
-----------------------------------+----------------------
     Reporter:  karsten            |      Owner:  karsten
         Type:  task               |     Status:  assigned
     Priority:  Medium             |  Milestone:
    Component:  Metrics/CollecTor  |    Version:
     Severity:  Normal             |   Keywords:
Actual Points:                     |  Parent ID:
       Points:                     |   Reviewer:
      Sponsor:                     |
-----------------------------------+----------------------
 I'll put out a new CollecTor release that comes with the latest metrics-
 lib version 2.9.1. Otherwise, CollecTor will not be able to synchronize
 descriptors from another CollecTor instance running the latest released
 version 1.13.0. Who would have thought.

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