Re: [tor-bugs] #20763 [Metrics/Consensus Health]: Add shared random to consensus health

2017-01-06 Thread Tor Bug Tracker & Wiki
#20763: Add shared random to consensus health --+ Reporter: teor | Owner: tom Type: enhancement | Status: closed Priority: Medium| Milestone:

Re: [tor-bugs] #20763 [Metrics/Consensus Health]: Add shared random to consensus health

2016-12-28 Thread Tor Bug Tracker & Wiki
#20763: Add shared random to consensus health --+- Reporter: teor | Owner: tom Type: enhancement | Status: new Priority: Medium| Milestone: Component:

Re: [tor-bugs] #20763 [Metrics/Consensus Health]: Add shared random to consensus health

2016-12-13 Thread Tor Bug Tracker & Wiki
#20763: Add shared random to consensus health --+- Reporter: teor | Owner: tom Type: enhancement | Status: new Priority: Medium| Milestone: Component:

Re: [tor-bugs] #20763 [Metrics/Consensus Health]: Add shared random to consensus health

2016-12-13 Thread Tor Bug Tracker & Wiki
#20763: Add shared random to consensus health --+- Reporter: teor | Owner: tom Type: enhancement | Status: new Priority: Medium| Milestone: Component:

Re: [tor-bugs] #20763 [Metrics/Consensus Health]: Add shared random to consensus health

2016-12-13 Thread Tor Bug Tracker & Wiki
#20763: Add shared random to consensus health --+- Reporter: teor | Owner: tom Type: enhancement | Status: new Priority: Medium| Milestone: Component:

Re: [tor-bugs] #20763 [Metrics/Consensus Health]: Add shared random to consensus health

2016-11-26 Thread Tor Bug Tracker & Wiki
#20763: Add shared random to consensus health --+- Reporter: teor | Owner: tom Type: enhancement | Status: new Priority: Medium| Milestone: Component:

[tor-bugs] #20763 [Metrics/Consensus Health]: Add shared random to consensus health

2016-11-24 Thread Tor Bug Tracker & Wiki
#20763: Add shared random to consensus health --+- Reporter: teor | Owner: tom Type: enhancement | Status: new Priority: Medium| Milestone: