Robin Gloster  
		
	
	
		b08b0bcbbe 
		
	 
	
	
	mkRemovedOptionModule: assert on removed options  
		
			... 
			We don't want to ignore config that can mess up machines. In general
this should always fail evaluation, as you think you are changing
behaviour and don't, which can easily create run-time errors we can
catch early. 
		
	 
 
		2019-09-30 12:07:13 +02:00 
	 
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2019-09-02 23:25:24 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-30 12:07:13 +02:00 
		 
	
		
			
			
			
			
			
			2019-06-25 18:04:22 -04:00 
		 
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
			
			
			
			
			
			2019-08-19 01:32:01 +02:00 
		 
	
		
			
			
			
			
			
			2019-04-13 07:00:55 -04:00 
		 
	
		
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
			
			
			
			
			
			2019-08-26 21:40:19 +00:00 
		 
	
		
			
			
			
			
			
			2019-06-16 19:59:05 +00:00 
		 
	
		
			
			
			
			
			
			2019-08-11 13:21:26 +03:00 
		 
	
		
			
			
			
			
			
			2019-09-17 00:19:28 +00:00 
		 
	
		
			
			
			
			
			
			2019-03-08 09:50:02 +02:00 
		 
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
			
			
			
			
			
			2018-08-31 03:03:04 +00:00 
		 
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
			
			
			
			
			
			2019-08-17 12:08:51 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2019-08-26 21:40:19 +00:00 
		 
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
			
			
			
			
			
			2019-05-25 10:38:07 -04:00 
		 
	
		
			
			
			
			
			
			2019-08-19 14:57:41 +02:00 
		 
	
		
			
			
			
			
			
			2018-11-25 13:33:22 +01:00 
		 
	
		
			
			
			
			
			
			2019-05-25 13:48:41 -04:00 
		 
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
			
			
			
			
			
			2018-09-07 09:46:46 +01:00 
		 
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2019-02-22 20:11:27 +01:00 
		 
	
		
			
			
			
			
			
			2019-09-06 22:46:05 +02:00 
		 
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
			
			
			
			
			
			2019-08-31 18:19:00 +02:00 
		 
	
		
			
			
			
			
			
			2019-05-03 01:47:57 -05:00 
		 
	
		
			
			
			
			
			
			2019-08-26 21:40:19 +00:00 
		 
	
		
			
			
			
			
			
			2019-08-26 21:40:19 +00:00 
		 
	
		
			
			
			
			
			
			2019-08-26 21:40:19 +00:00