Build #591 (Jul 6, 2020 11:11:36 PM)

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

	No changes.
	GitHub pull request #3005 of commit 4e3eee72ad445e1772a0df89db6d54cbacd21ed9, no merge conflicts.

Configurations