Update history to reflect merge of #5526 [ci skip]
This commit is contained in:
		
							parent
							
								
									3e1fad273b
								
							
						
					
					
						commit
						fc66991243
					
				| 
						 | 
					@ -37,6 +37,7 @@
 | 
				
			||||||
  * include a hashbang for all benchmark scripts & make them executable (#5505)
 | 
					  * include a hashbang for all benchmark scripts & make them executable (#5505)
 | 
				
			||||||
  * Update source in script/proof (#5538)
 | 
					  * Update source in script/proof (#5538)
 | 
				
			||||||
  * Collections.feature: conditional steps to have it pass on Windows (#5546)
 | 
					  * Collections.feature: conditional steps to have it pass on Windows (#5546)
 | 
				
			||||||
 | 
					  * Fix tests to get script/test to pass on Windows (#5526)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
### Minor Enhancements
 | 
					### Minor Enhancements
 | 
				
			||||||
 | 
					
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
		Reference in New Issue