[Merge] ppa-dev-tools:add-man-pages-remainder into ppa-dev-tools:main

[mp+472118 at code.launchpad.net]

The proposal to merge ppa-dev-tools:add-man-pages-remainder into ppa-dev-tools:main has been updated.

    Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~bryce/ppa-dev-tools/+git/ppa-dev-tools-1/+merge/472118
-- 
Your team Ubuntu Core Development Team is requested to review the proposed merge of ppa-dev-tools:add-man-pages-remainder into ppa-dev-tools:main.