Build #23 (Nov 22, 2018 5:47:30 PM)

	Started by GitLab push by Sebastian Müller
	Revision: fc2b9effb2030fa83ce148b77ba1f4295fa201b7 origin/test_seb_branch