Build #840 (Nov 21, 2019 10:24:21 AM)

	Started by GitLab push by Ulrich Wiehe
	Revision: b7623308957bc2a637cde75ae053bb32b4fc36d5 origin/master
	Revision: b04d9108f55eaf581b3670f94288c6dea22142ad origin/Rel16-draft-CT86