Build #12 (Oct 8, 2020, 1:56:08 PM)

	Changes Menu + Flex Grow (details / githubweb)
	Branch indexing
	Revision: 78e505581bfc1d87a0194b7a0531760b3985472d master
	Revision: 0dbc0c46c784d86e1bcb06ecf3f84a8bf721d957 master
	Revision: 6ba364e41aa183f644fa713354094542949629f5 10-home