Build #156 (Dec 3, 2019 6:07:36 AM)

PR #2626: man: fix the explanation of...

	No changes.
	GitHub pull request #2626 of commit b7a24e9cf441f95c8f893fbbf27941568b0c8fbc, no merge conflicts.

Configurations