Build #163 (Dec 6, 2019 7:07:18 AM)

PR #2637: remove inproper usage of BP...

	No changes.
	GitHub pull request #2637 of commit 8d56cd40d7d40799981ea25ee6d34901b0c0d98b, no merge conflicts.

Configurations