Build #157 (Dec 3, 2019 7:13:23 PM)

PR #2629: Correction to Usage text.

	No changes.
	GitHub pull request #2629 of commit e6d88d4e41e76088cdaa02ef4953e98e8f2c71a9, no merge conflicts.

Configurations