From f85a039633628b59baf01aede9940df51e4b1bf0 Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Sun, 19 Nov 2017 14:00:39 -0500 Subject: [PATCH] Update history to reflect merge of #6567 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index e7f21d83..b71e88bc 100644 --- a/History.markdown +++ b/History.markdown @@ -81,6 +81,7 @@ * Back to original main navigation (#6544) * Styles: mobile-docs select element (#6545) * Search with DocSearch by @Algolia (#6557) + * Site header redesign (#6567) ### Bug Fixes