Update history to reflect merge of #5820 [ci skip]
This commit is contained in:
parent
8e439e673e
commit
3e2875f39c
|
@ -31,6 +31,7 @@
|
||||||
* Add documentation about order of interpretation (#5834)
|
* Add documentation about order of interpretation (#5834)
|
||||||
* Documentation on how to build navigation (#5698)
|
* Documentation on how to build navigation (#5698)
|
||||||
* Navigation has been moved out from docs (#5927)
|
* Navigation has been moved out from docs (#5927)
|
||||||
|
* Make links in sidebar for current page more prominent (#5820)
|
||||||
|
|
||||||
### Bug Fixes
|
### Bug Fixes
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue