diff --git a/RELEASENOTES b/RELEASENOTES
index f8287294b..758155265 100644
--- a/RELEASENOTES
+++ b/RELEASENOTES
@@ -21,6 +21,8 @@ Version 1.4, Not yet released
   * Add class SNum, which simplifies writing polymorphic code over symbolic values
   * Increase haddock coverage metrics
   * Major code refactoring around symbolic kinds
+  * SMTLib2: Emit ":produce-models" call before setting the logic, as required
+    by the SMT-Lib2 standard. [Patch provided by arrowdodger on github, thanks!]
  Examples:
   * Change dog-cat-mouse example to use SInteger for the counts
   * Add merge-sort example: Data.SBV.Examples.BitPrecise.MergeSort
diff --git a/SBVUnitTest/SBVUnitTestBuildTime.hs b/SBVUnitTest/SBVUnitTestBuildTime.hs
index a77145586..2a5832b0b 100644
--- a/SBVUnitTest/SBVUnitTestBuildTime.hs
+++ b/SBVUnitTest/SBVUnitTestBuildTime.hs
@@ -2,4 +2,4 @@
 module SBVUnitTestBuildTime (buildTime) where
 
 buildTime :: String
-buildTime = "Wed Apr 18 22:41:15 PDT 2012"
+buildTime = "Thu Apr 19 20:17:04 PDT 2012"