| analysis | Remove remaining instances of new. | 2020-01-15 17:25:08 +01:00 | 
		
			
			
			
			
				| ast | Merge pull request #8013 from ethereum/warnings | 2020-01-15 18:00:14 +01:00 | 
		
			
			
			
			
				| codegen | Remove unnecessary statement | 2020-01-15 14:33:27 +00:00 | 
		
			
			
			
			
				| formal | Replace void cast by maybe_unused | 2020-01-09 13:41:30 +01:00 | 
		
			
			
			
			
				| parsing | Fix error message suggestion for receive | 2020-01-14 23:24:27 +01:00 |