Re: [tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-11 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings --+ Reporter: nickm | Owner: nickm Type: defect| Status: closed Priority: Medium| Milestone: Tor: 0.4.3.x-final Component: Core

Re: [tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-07 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings --+ Reporter: nickm | Owner: nickm Type: defect| Status: merge_ready Priority: Medium| Milestone: Tor: 0.4.3.x-final Component:

Re: [tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-06 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings --+ Reporter: nickm | Owner: nickm Type: defect| Status: needs_review Priority: Medium| Milestone: Tor: 0.4.3.x-final Component:

Re: [tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-06 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings --+ Reporter: nickm | Owner: nickm Type: defect| Status: needs_review Priority: Medium| Milestone: Tor: 0.4.3.x-final Component:

Re: [tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-06 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings --+ Reporter: nickm | Owner: nickm Type: defect| Status: needs_revision Priority: Medium| Milestone: Tor: 0.4.3.x-final Component:

Re: [tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-06 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings --+ Reporter: nickm | Owner: nickm Type: defect| Status: needs_revision Priority: Medium| Milestone: Tor: 0.4.3.x-final Component:

Re: [tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-06 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings --+ Reporter: nickm | Owner: nickm Type: defect| Status: needs_revision Priority: Medium| Milestone: Tor: 0.4.3.x-final Component:

Re: [tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-06 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings --+ Reporter: nickm | Owner: nickm Type: defect| Status: needs_review Priority: Medium| Milestone: Tor: 0.4.3.x-final Component:

Re: [tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-05 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings --+ Reporter: nickm | Owner: nickm Type: defect| Status: needs_review Priority: Medium| Milestone: Tor: 0.4.3.x-final Component:

[tor-bugs] #32385 [Core Tor/Tor]: doxygen: respect --enable-fatal-warnings

2019-11-05 Thread Tor Bug Tracker & Wiki
#32385: doxygen: respect --enable-fatal-warnings ---+ Reporter: nickm | Owner: nickm Type: defect | Status: assigned Priority: Medium | Milestone: Tor: 0.4.3.x-final