1. 2017-08-29 [3] mandoc HTML output: minor issues mandoc-discu Jackson Pauls 2. 2017-08-05 [1] mandoc-1.14.3 released (bugfixes only) mandoc-discu Ingo Schwarze 3. 2017-08-02 [1] Re: mandoc-1.14.2 released mandoc-discu Ingo Schwarze