From f898529b8f1317afb9fd496aa2d68efffd67d84e Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@google.com>
Date: Wed, 13 Feb 2019 21:10:10 -0500
Subject: Begin packaging v8.9 snapshot

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

diff --git a/debian/changelog b/debian/changelog
index b3f58e8..23dbd84 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,13 @@
+aac-tactics (8.8.0+1.gbp069dc3b-1) UNRELEASED; urgency=medium
+
+  ** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 **
+
+  * Team upload
+  * New upstream release
+  * Build an unreleased snapshot to support Coq 8.9 (Closes: 919463)
+
+ -- Benjamin Barenblat <bbaren@debian.org>  Wed, 13 Feb 2019 20:40:57 -0500
+
 aac-tactics (8.6.1-2) unstable; urgency=medium
 
   * Recompile with OCaml 4.05.0
-- 
cgit v1.2.3