Update history to reflect merge of #8079 [ci skip]

2020-04-15 09:12:09 -04:00 · 2020-04-15 09:12:09 -04:00 · 38157eb9b3
parent c8ce49fdfd
commit 38157eb9b3
1 changed files with 1 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@ -116,6 +116,7 @@
  * Optimize rendering of the documentation site (#8020)
  * Utilize relative_url filter in documentation site (#8089)
  * Render tutorial metadata in documentation site (#8092)
+  * Improve syntax-highlighting in documentation site (#8079)

 ## 4.0.0 / 2019-08-19