Re: [tor-bugs] #22347 [Core Tor/Tor]: document key-pinning-journal file in man page

2017-06-16 Thread Tor Bug Tracker & Wiki
#22347: document key-pinning-journal file in man page --+ Reporter: arma | Owner: Type: defect| Status: closed Priority: Medium| Milestone: Tor: 0.3.1.x-final Component: Core

Re: [tor-bugs] #22347 [Core Tor/Tor]: document key-pinning-journal file in man page

2017-06-16 Thread Tor Bug Tracker & Wiki
#22347: document key-pinning-journal file in man page --+ Reporter: arma | Owner: Type: defect| Status: new Priority: Medium| Milestone: Tor: 0.3.1.x-final Component: Core

[tor-bugs] #22347 [Core Tor/Tor]: document key-pinning-journal file in man page

2017-05-23 Thread Tor Bug Tracker & Wiki
#22347: document key-pinning-journal file in man page --+ Reporter: arma | Owner: Type: defect| Status: new Priority: Medium| Milestone: Tor: 0.3.1.x-final Component: Core