mirror of
				https://github.com/MariaDB/server.git
				synced 2025-11-03 20:36:16 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			4 lines
		
	
	
	
		
			89 B
		
	
	
	
		
			Text
		
	
	
	
	
	
			
		
		
	
	
			4 lines
		
	
	
	
		
			89 B
		
	
	
	
		
			Text
		
	
	
	
	
	
MYSQL_VERSION_MAJOR=12
 | 
						|
MYSQL_VERSION_MINOR=1
 | 
						|
MYSQL_VERSION_PATCH=0
 | 
						|
SERVER_MATURITY=alpha
 |