2 files changed, 9 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index a0b424eb..25a70fbb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+coq (8.8.2-1) UNRELEASED; urgency=medium
+
+  * New upstream release (Closes: #910840)
+  * Add Benjamin Barenblat to uploaders
+  * Update debian/watch for upstream's transition to GitHub (Closes: #902903)
+
+ -- Benjamin Barenblat <bbaren@debian.org>  Mon, 24 Dec 2018 14:56:15 -0500
+
 coq (8.6-5) unstable; urgency=medium
 
   * Recompile with OCaml 4.05.0
diff --git a/debian/control b/debian/control
index 3c9f1ccd..4d336aa2 100644
--- a/debian/control
+++ b/debian/control
@@ -3,6 +3,7 @@ Section: math
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Uploaders:
+ Benjamin Barenblat <bbaren@debian.org>,
  Ralf Treinen <treinen@debian.org>,
  Samuel Mimram <smimram@debian.org>,
  Stéphane Glondu <glondu@debian.org>,