Vor 5 Jahre 9 Monate gestartet

Build #1073 (22.01.2019 21:23:49)

	Changes fixed #794 - could not use variablename 'main' (commit: c88e7e7) (detail / githubweb)
	Started by GitHub push by peq
	Revision: c88e7e71dbee97dc3bc9970ce3b252554b42fb48 refs/remotes/origin/master
	Testergebnis (Kein Test fehlgeschlagen.)