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

2019-11-11 Thread Tor Bug Tracker & Wiki
#32452: Release CollecTor 1.13.1 ---+- Reporter: karsten| Owner: karsten Type: task | Status: closed Priority: Medium | Milestone: Component: Metrics/CollecTor |

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

2019-11-11 Thread Tor Bug Tracker & Wiki
#32452: Release CollecTor 1.13.1 ---+-- Reporter: karsten| Owner: karsten Type: task | Status: assigned Priority: Medium | Milestone: Component: Metrics/CollecTor |