Update history to reflect merge of #5959 [ci skip]
This commit is contained in:
parent
201470902a
commit
b7916f8a83
|
@ -35,6 +35,7 @@
|
||||||
* Fix broken link (#5994)
|
* Fix broken link (#5994)
|
||||||
* Default options for script/proof (#5995)
|
* Default options for script/proof (#5995)
|
||||||
* Mention Bash on Ubuntu on Windows (#5960)
|
* Mention Bash on Ubuntu on Windows (#5960)
|
||||||
|
* Document `--unpublished` flag introduced in 91e9ecf (#5959)
|
||||||
|
|
||||||
### Development Fixes
|
### Development Fixes
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue