Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-25 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: closed Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-25 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: closed Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-25 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: merge_ready Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-25 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: needs_review Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-24 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+--- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: needs_information Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-23 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+--- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: needs_information Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-18 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: needs_review Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-16 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: needs_review Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-15 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: needs_review Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-15 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: needs_review Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-15 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: needs_review Priority: Medium | Milestone: Component:

Re: [tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2018-10-13 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics/Onionoo

[tor-bugs] #24419 [Metrics/Onionoo]: Improve getter names for boolean fields

2017-11-27 Thread Tor Bug Tracker & Wiki
#24419: Improve getter names for boolean fields -+-- Reporter: karsten | Owner: metrics-team Type: enhancement | Status: new Priority: Medium | Milestone: Component: