Build #1251 (07.03.2020 14:28:06)

	Changes Make some constants public (#344) (detail / githubweb)
	Build wurde durch eine SCM-Änderung ausgelöst.
	Revision: 8597ac44a82dae85aba9e92d17fe8f5a87d2fb16 refs/remotes/origin/master