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

jekyll · May 10, 2020 · 9f31fe1 · 9f31fe1
1 parent ce483d2
commit 9f31fe1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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