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

jekyll · Jan 25, 2018 · c9d2da8 · c9d2da8
1 parent 731960e
commit c9d2da8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/History.markdown b/History.markdown
@@ -6,6 +6,7 @@
   * Bump rdoc to 6.0 (#6600)
   * Lint file and bump theme dependencies (#6698)
   * Write a Rubocop Cop to ensure no `#p` or `#puts` calls get committed to master. (#6615)
+  * Remove redgreen gem (#6720)
 
 ### Site Enhancements