 3a78f0e0fd
			
		
	
	3a78f0e0fd
	
	
	
		
			
			Add version 2019.08.14 and rename 'develop' to 'master' to match the git branch name (now that master is also a special name).
 3a78f0e0fd
			
		
	
	3a78f0e0fd
	
	
	
		
			
			Add version 2019.08.14 and rename 'develop' to 'master' to match the git branch name (now that master is also a special name).