Build #582 (Jul 2, 2020 4:29:17 AM)

PR #2998: valloc and pvalloc is depre...

	No changes.
	GitHub pull request #2998 of commit 85967aeb0cd6b5d21073cd7d316b9bbeed161a94, no merge conflicts.

Configurations