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

2020-05-10 05:29:26 -04:00 · 2020-05-10 05:29:26 -04:00 · 9f31fe1c3b
parent ce483d29a4
commit 9f31fe1c3b
1 changed files with 1 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@ -129,6 +129,7 @@
  * Utilize relative_url filter in documentation site (#8089)
  * Render tutorial metadata in documentation site (#8092)
  * Improve syntax-highlighting in documentation site (#8079)
+  * Site: Filter through just the docs collection (#8170)

 ## 4.0.1 / 2020-05-08