From 5237040b44fbd02745c8b7876634fa6b6e9a205f Mon Sep 17 00:00:00 2001
From: jekyllbot <jekyllbot@jekyllrb.com>
Date: Thu, 3 Nov 2016 08:37:46 -0700
Subject: [PATCH] Update history to reflect merge of #5538 [ci skip]

---
 History.markdown | 1 +
 1 file changed, 1 insertion(+)

diff --git a/History.markdown b/History.markdown
index f6832ba6764..c43b91e6bf5 100644
--- 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