From 6c3b2d709e3b0596296b36f17fd2d6f45bbea93a Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Sun, 5 Jun 2016 14:48:14 -0400
Subject: Bump debian/changelog

---
 debian/changelog | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index f022733f..4818962b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+dafny (1.9.7-1) UNRELEASED; urgency=medium
+
+  * New upstream release.
+
+ -- Benjamin Barenblat <bbaren@mit.edu>  Sun, 05 Jun 2016 14:47:52 -0400
+
 dafny (1.9.5-1) unstable; urgency=medium
 
   * Initial release.
-- 
cgit v1.2.3