Re: [tor-bugs] #32444 [Metrics/ExoneraTor]: Release ExoneraTor 4.2.0

2019-11-09 Thread Tor Bug Tracker & Wiki
#32444: Release ExoneraTor 4.2.0 +- Reporter: karsten | Owner: karsten Type: task| Status: closed Priority: Medium | Milestone: Component: Metrics/ExoneraTor |

[tor-bugs] #32444 [Metrics/ExoneraTor]: Release ExoneraTor 4.2.0

2019-11-09 Thread Tor Bug Tracker & Wiki
#32444: Release ExoneraTor 4.2.0 +-- Reporter: karsten | Owner: karsten Type: task| Status: assigned Priority: Medium | Milestone: Component: Metrics/ExoneraTor |