misc fixes.
authorng0 <ng0@n0.is>
Fri, 16 Aug 2019 22:14:01 +0000 (22:14 +0000)
committerng0 <ng0@n0.is>
Fri, 16 Aug 2019 22:14:01 +0000 (22:14 +0000)
commit094058e35534bd84e2a8b2b86b82c8e6960dabc8
treecd39d2137dfce9b707e01594785e5a1a4cfbdd11
parent62c2b644cca53198e02032a27b26ce96a7cb32c9
misc fixes.
doc/handbook/chapters/developer.texi