From 977cfb0ac09b2beece3be73015a1a42e53a56481 Mon Sep 17 00:00:00 2001 From: jekyllbot Date: Wed, 15 Nov 2017 10:19:40 -0500 Subject: [PATCH] Update history to reflect merge of #6557 [ci skip] --- History.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/History.markdown b/History.markdown index 1e421c38..595e0258 100644 --- a/History.markdown +++ b/History.markdown @@ -79,6 +79,7 @@ * (#6519) Optimize images * (#6544) Site: Back to original main navigation * (#6545) Style mobile-docs select element + * Site: Search with DocSearch by @Algolia (#6557) ### Bug Fixes