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

jekyll · Nov 3, 2016 · 5237040 · 5237040
1 parent ebd40da
commit 5237040
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/History.markdown b/History.markdown
@@ -30,6 +30,7 @@
   * script/test: add missing whitespace (#5479)
   * Restrict Rubocop version (#5496)
   * include a hashbang for all benchmark scripts & make them executable (#5505)
+  * Update source in script/proof (#5538)
 
 ### Minor Enhancements