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

	Changes realpath (detail)
	Started by GitLab push by Michele Carignani
	Revision: b657d1c9287181483078e7e7df31a7deb39384a2 origin/master