mirror of
				https://github.com/MariaDB/server.git
				synced 2025-11-04 12:56:14 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			4 lines
		
	
	
	
		
			105 B
		
	
	
	
		
			Text
		
	
	
	
	
	
			
		
		
	
	
			4 lines
		
	
	
	
		
			105 B
		
	
	
	
		
			Text
		
	
	
	
	
	
#
 | 
						|
# MDEV-15923 option to control who can set session @@timestamp
 | 
						|
#
 | 
						|
source inc/secure_timestamp_func.inc;
 |