mention the zombie fix in the CHANGES

LeventErkok · Jan 21, 2016 · 060b800 · 060b800
1 parent d0654da
commit 060b800
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -9,6 +9,9 @@
     base is 2/16, making sure the alignment is done
     properly accommodating for the crackNum output.
 
+  * Wait for external process to die on exception, to avoid
+    spawning zombies. Thanks to Daniel Wagner for the patch.
+
 ### Version 5.11, 2016-01-15
 
   * Fix documentation issue; no functional changes

diff --git a/SBVUnitTest/SBVUnitTestBuildTime.hs b/SBVUnitTest/SBVUnitTestBuildTime.hs
@@ -2,4 +2,4 @@
 module SBVUnitTestBuildTime (buildTime) where
 
 buildTime :: String
-buildTime = "Sun Jan 17 10:41:42 PST 2016"
+buildTime = "Wed Jan 20 22:33:36 PST 2016"