Build #4 (Aug 10, 2020, 10:45:02 AM)

	Changes Docker build (details / githubweb)
	Branch indexing
	Revision: 0b30bc4e918097575eab0885b2edb71afa83a982 master
	Revision: 78e505581bfc1d87a0194b7a0531760b3985472d master
	Revision: a00c1cdfc5a0d10e3164cdec3b0624248a99dd45 master