Build #10 (Nov 16, 2019 9:57:08 AM)

	Changes fix (detail)
	Started by GitLab push by Michele Carignani
	Revision: e828b8f55d2c2ab82a9d7022943ceadc688e1d86 origin/master