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

2019-10-16 03:21:06 -04:00 · 2019-10-16 03:21:06 -04:00 · dd7d03eccd
parent 22a974200d
commit dd7d03eccd
1 changed files with 1 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@ -26,6 +26,7 @@
 ### Development Fixes

  * Ci/GitHub actions (#7822)
+  * Rubocop version upgrade (#7846)

 ## 4.0.0 / 2019-08-19