| light | improve assertion | 2017-05-16 17:24:12 +02:00 | 
		
			
			
			
			
				| res | Pass additional data when reporting (#5527) | 2017-05-03 09:01:24 +02:00 | 
		
			
			
			
			
				| src | Merge branch 'master' into on-demand-priority | 2017-05-10 12:18:30 +02:00 | 
		
			
			
			
			
				| build.rs | Fix whitespace (#4299) | 2017-01-25 18:51:41 +01:00 |