Build #517 (May 29, 2020 10:35:14 PM)

PR #2942: Make reading blacklist from...

	No changes.
	GitHub pull request #2942 of commit 274672733754af10c01d8eea5b43220825577580, no merge conflicts.

Configurations