From 5569aec29d73dcba445dcbebab7e49f93148a529 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 27 Nov 2013 11:23:01 -0500
Subject: Some versioning in advance of the 1.3 release.

---
 NEWS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'NEWS')

diff --git a/NEWS b/NEWS
index 7b63d4b98..a706a3fa9 100644
--- a/NEWS
+++ b/NEWS
@@ -57,4 +57,4 @@ Changes since 1.0
   "unsat") as well.  Now, single -q silences messages and warnings, and
   double -qq silences all output (except on exception or signal).
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Wed, 03 Apr 2013 13:06:35 -0400
+-- Morgan Deters <mdeters@cs.nyu.edu>  Wed, 27 Nov 2013 11:20:58 -0500
-- 
cgit v1.2.3