[0.17] doc: regenerate manpages #13956

1. 
   fanquake commented at 2:05 PM on August 13, 2018: member

   Done using: contrib/devtools/gen-manpages.sh

2. doc: regenerate manpages f0f745d8de
3. fanquake added the label Docs on Aug 13, 2018
4. 
   MarcoFalke commented at 2:08 PM on August 13, 2018: member

   utACK f0f745d8de9ab8fd18208671294063abf783cf90

5. MarcoFalke added this to the milestone 0.17.0 on Aug 13, 2018
6. MarcoFalke assigned laanwj on Aug 13, 2018
7. 
   laanwj commented at 3:09 PM on August 13, 2018: member

   Tested ACK f0f745d8de9ab8fd18208671294063abf783cf90

8. laanwj merged this on Aug 13, 2018
9. laanwj closed this on Aug 13, 2018

   ---

10. laanwj referenced this in commit ff41e479a0 on Aug 13, 2018
11. fanquake deleted the branch on Aug 13, 2018
12. MarcoFalke locked this on Sep 8, 2021

Milestone
0.17.0