2019-10-31 - releng
13:15	<hauskater>	Diffusion Set default branch for Diffusion {rAPIOS} GitHub mirror from 'master' to 'develop' ('master' is not updated c. 2015; thus serving very outdated data).	[releng]