Build #40 (Sep 12, 2019 10:19:10 AM)

	Started by GitLab push by Michele Carignani
	Revision: 33a9fb3038a601dde7961d5de033b758ec36d39b origin/no-merge-commit