Build #1203 (Oct 29, 2021 6:19:15 AM)

PR #3678: Fix build on RISC-V

	No changes.
	GitHub pull request #3678 of commit f6b162d55c8ed71665a99afa69d42fac0ed7f7e8, no merge conflicts.

Configurations