Update history to reflect merge of #5546 [ci skip]
This commit is contained in:
parent
1254ffc593
commit
4268301071
|
@ -36,6 +36,7 @@
|
||||||
* Restrict Rubocop version (#5496)
|
* Restrict Rubocop version (#5496)
|
||||||
* 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)
|
||||||
|
|
||||||
### Minor Enhancements
|
### Minor Enhancements
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue