Build #5 (Aug 10, 2020, 10:53:02 AM)

	Changes Dockerignore (details / githubweb)
	Branch indexing
	Revision: 0b30bc4e918097575eab0885b2edb71afa83a982 master
	Revision: 78e505581bfc1d87a0194b7a0531760b3985472d master
	Revision: fb4817f59be96c6bb03d376a182c645ba11a7314 master