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

2026-02-15 17:15:00 -05:00 · 2021-01-12 18:50:22 -05:00
parent c4055cd3d6
commit 50a47e34c2
1 changed files with 1 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@@ -17,6 +17,7 @@
 ### Development Fixes

  * style: enable new cops (#8538)
+  * Allow dependabot to keep github actions up-to-date (#8540)

 ## 4.2.0 / 2020-12-14