From 2c7cbddeba7f547834fe37273fc513fdee648f61 Mon Sep 17 00:00:00 2001
From: jekyllbot <jekyllbot@jekyllrb.com>
Date: Sun, 4 Aug 2019 16:06:02 -0400
Subject: [PATCH] Update history to reflect merge of #7543 [ci skip]

---
 History.markdown | 1 +
 1 file changed, 1 insertion(+)

diff --git a/History.markdown b/History.markdown
index 5cb51167..01c1d5f9 100644
--- a/History.markdown
+++ b/History.markdown
@@ -300,6 +300,7 @@
   * Add recursive navigation tutorial (#7720)
   * Fix misspelling of &#34;additional&#34; (#7764)
   * docs: improve how to include rouge stylesheets (#7752)
+  * Added Bonsai Search (#7543)
 
 ### Site Enhancements