Build #8 (Aug 12, 2020, 11:39:02 AM)

	Changes Dynamic Edit (details / githubweb)
	Branch indexing
	Revision: 0b30bc4e918097575eab0885b2edb71afa83a982 master
	Revision: 78e505581bfc1d87a0194b7a0531760b3985472d master
	Revision: 06c428e749db2cc33bce597a2a60513bbba8fe00 master