Build #563 (Jun 19, 2020 8:21:55 PM)

PR #2981: prepare for release v0.15.0

	No changes.
	GitHub pull request #2981 of commit 6091d84ad38a60e3940e72c819c678253a832d7e, no merge conflicts.

Configurations