From 0bb04d45c7987d47c2eb502e4ba1d1cb371f651b Mon Sep 17 00:00:00 2001
From: jekyllbot <jekyllbot@jekyllrb.com>
Date: Mon, 8 Jun 2020 01:28:44 -0400
Subject: [PATCH] Update history to reflect merge of #8235 [ci skip]

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

diff --git a/History.markdown b/History.markdown
index c7d93292f28..aa7b8737270 100644
--- a/History.markdown
+++ b/History.markdown
@@ -10,6 +10,10 @@
   * Disable page excerpts by default (#8222)
   * Revert introduction of PageDrop (#8221)
 
+### Documentation
+
+  * Replace deprecated &#39;show&#39; command with &#39;info&#39; (#8235)
+
 ## 4.1.0 / 2020-05-27
 
 ### Bug Fixes