Build #436 (Apr 18, 2020 9:20:24 PM)

PR #2877: build: fix clang 10 build

	No changes.
	GitHub pull request #2877 of commit f97689412b7fcf753e3568e854427aee382b898b, no merge conflicts.

Configurations