From 1a398c48b8d22f54083f9c220fa1808fd4808789 Mon Sep 17 00:00:00 2001
From: jekyllbot <jekyllbot@jekyllrb.com>
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