Build #7 (Nov 16, 2019 9:31:58 AM)

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