Hi Dave, On Thu, Dec 13 2018 at 06:26:24 PM, Dave Kemper <saint.s...@gmail.com> wrote: > As long as we're still considering documentation fixes, here's another > set. These are all low urgency but also low risk, so depending on the > prevailing winds, they could go into this release or wait till the > next one. > > The attached patch fixes some simple typos in documentation files and > comment lines that should be completely uncontroversial.
Commited, thanks, > Three other > possible changes might warrant further discussion (which might also > imply they're not good candidates for last-minute changes, but I offer > them for second opinions). [...] I suggest that you open a bug in the issue tracker, so that we won't forget it. Regards, Bertrand
