Build #666 (Sep 8, 2020 8:07:11 PM)

PR #3085: memleak: fix false positive...

	No changes.
	GitHub pull request #3085 of commit 72eee7c65c4c162d477361f7f34884c07a9f412d, no merge conflicts.

Configurations