Build #89 (Oct 17, 2019 11:33:06 PM)

PR #2557: man: add missing -c option ...

	No changes.
	GitHub pull request #2557 of commit 930846dc2c49281c693c2e39a0a2d21c650c61de, no merge conflicts.

Configurations