Re: [tor-bugs] #23953 [Core Tor/Tor]: Use stdatomic counters where available

2017-11-21 Thread Tor Bug Tracker & Wiki
#23953: Use stdatomic counters where available --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: closed Priority: Medium

Re: [tor-bugs] #23953 [Core Tor/Tor]: Use stdatomic counters where available

2017-11-21 Thread Tor Bug Tracker & Wiki
#23953: Use stdatomic counters where available --+ Reporter: nickm | Owner: nickm Type: enhancement | Status:

Re: [tor-bugs] #23953 [Core Tor/Tor]: Use stdatomic counters where available

2017-11-21 Thread Tor Bug Tracker & Wiki
#23953: Use stdatomic counters where available --+ Reporter: nickm | Owner: nickm Type: enhancement | Status:

Re: [tor-bugs] #23953 [Core Tor/Tor]: Use stdatomic counters where available

2017-11-21 Thread Tor Bug Tracker & Wiki
#23953: Use stdatomic counters where available -+ Reporter: nickm| Owner: nickm Type: enhancement | Status: needs_review Priority: Medium | Milestone: Tor: 0.3.3.x-final

Re: [tor-bugs] #23953 [Core Tor/Tor]: Use stdatomic counters where available

2017-11-20 Thread Tor Bug Tracker & Wiki
#23953: Use stdatomic counters where available -+ Reporter: nickm| Owner: nickm Type: enhancement | Status: needs_revision Priority: Medium | Milestone: Tor: 0.3.3.x-final

Re: [tor-bugs] #23953 [Core Tor/Tor]: Use stdatomic counters where available

2017-11-20 Thread Tor Bug Tracker & Wiki
#23953: Use stdatomic counters where available -+ Reporter: nickm| Owner: nickm Type: enhancement | Status: needs_review Priority: Medium | Milestone: Tor: 0.3.3.x-final

Re: [tor-bugs] #23953 [Core Tor/Tor]: Use stdatomic counters where available

2017-10-23 Thread Tor Bug Tracker & Wiki
#23953: Use stdatomic counters where available --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_review Priority: Medium| Milestone: Tor: 0.3.3.x-final Component:

[tor-bugs] #23953 [Core Tor/Tor]: Use stdatomic counters where available

2017-10-23 Thread Tor Bug Tracker & Wiki
#23953: Use stdatomic counters where available --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: assigned Priority: Medium| Milestone: Tor: 0.3.3.x-final Component: