Build #96 (Oct 20, 2019 3:38:56 PM)

PR #2563: man: COMM describes the pro...

	No changes.
	GitHub pull request #2563 of commit d7213585a5444389286c1ff4869a6008f8dc9854, no merge conflicts.

Configurations