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

2026-02-18 10:31:37 -05:00 · 2014-08-01 13:12:48 -04:00
parent d8bb7f7ad7
commit 5fc3361720
1 changed files with 1 additions and 0 deletions
--- a/History.markdown
+++ b/History.markdown
@@ -9,6 +9,7 @@
 ### Development Fixes

  * Only include lib files in the gem (#2671)
+  * Fix `git diff` command in `proof` script (#2672)

 ### Site Enhancements