Build #17 (Aug 13, 2020, 5:01:02 PM)

	Changes [WIP] Server part (details / githubweb)
	Branch indexing
	Revision: 0b30bc4e918097575eab0885b2edb71afa83a982 master
	Revision: 78e505581bfc1d87a0194b7a0531760b3985472d master
	Revision: 29834042c8b3c4e62dc234a0aaba1fee360b7a51 master