[Pkg-ocaml-maint-commits] [why] 12/21: close 2 bugs resolved by upstream

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit 72da3c100f08354e1c2ad802d7eb7b51cb68d527
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Oct 1 11:39:15 2016 +0200

    close 2 bugs resolved by upstream
---
 debian/changelog | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index cdd9a1f..6edb5d4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 why (2.36-1) UNRELEASED; urgency=medium
 
-  * New upstream release:
+  * New upstream release. This version compiles with coq 8.5
+    (Closes: #815684) and drops the gwhy binary (Closes: #440469)
     - refreshed patches bprintf and edge
     - dropped patch makefile as ocaml warning options are now set
       by configure

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git