Build #536 (Jun 5, 2020 3:07:04 PM)

PR #2951: Add support for multiple PI...

	No changes.
	GitHub pull request #2951 of commit b7bd8e82dbc857690e04926d614721615acfed14, no merge conflicts.

Configurations