From 9f31fe1c3bab23c44091f4cc3c0941245d7f4bb6 Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Sun, 10 May 2020 05:29:26 -0400 Subject: [PATCH] Update history to reflect merge of #8170 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index cf6c2734..1ecc1e6d 100644 --- 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