Build #593 (Jul 8, 2020 7:23:10 AM)

PR #3005: memleak: Add workaround to ...

	No changes.
	GitHub pull request #3005 of commit 3876897c34d314da24370b6b9c050c6dfc6f3115, no merge conflicts.

Configurations