Re: [tor-bugs] #32815 [Core Tor/Tor]: Move all directory authority options into the dirauth man page section

2020-06-04 Thread Tor Bug Tracker & Wiki
#32815: Move all directory authority options into the dirauth man page section --+ Reporter: teor | Owner: (none) Type: task | Status: new Priority: Medium

Re: [tor-bugs] #32815 [Core Tor/Tor]: Move all directory authority options into the dirauth man page section

2020-01-09 Thread Tor Bug Tracker & Wiki
#32815: Move all directory authority options into the dirauth man page section --+ Reporter: teor | Owner: (none) Type: task | Status: new Priority: Medium

[tor-bugs] #32815 [Core Tor/Tor]: Move all directory authority options into the dirauth man page section

2019-12-19 Thread Tor Bug Tracker & Wiki
#32815: Move all directory authority options into the dirauth man page section --+ Reporter: teor | Owner: (none) Type: task | Status: new Priority: Medium| Milestone: Tor: 0.4.3