Build #160 (Feb 17, 2020 1:39:32 PM)

PR #156: Fix argument check

	No changes.
	GitHub pull request #156 of commit 777e9ba8f203388274d5a198e6b67880a9747393, no merge conflicts.
	Test Result (no failures)

Configurations