diff --git a/History.markdown b/History.markdown
index f6832ba6..c43b91e6 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