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

jekyll · Jun 24, 2020 · 3ebbb79 · 3ebbb79
1 parent 3f6e230
commit 3ebbb79
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/History.markdown b/History.markdown
@@ -1,5 +1,7 @@
 ## HEAD
 
+  * Fix grammar in documentation section (#8265)
+
 ### Development Fixes
 
   * Bump RuboCop to v0.85.x (#8223)