Update history to reflect merge of #8235 [ci skip]

jekyll · Jun 8, 2020 · 0bb04d4 · 0bb04d4
1 parent 72c7529
commit 0bb04d4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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