Build #504 (May 26, 2020 12:38:07 AM)

PR #2932: fix: avoid -Wsign-compare w...

	No changes.
	GitHub pull request #2932 of commit 6b4a91b8ad52f51e61935d7444c69a4c5d6d1766, no merge conflicts.

Configurations