[agda] 04/04: Finalise changelog & close bug

[Iain Lane]

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

laney pushed a commit to branch master
in repository agda.

commit a654a1e221523a9bd9c1e1f88d2ef168ac979275
Author: Iain Lane <laney at debian.org>
Date:   Tue Aug 4 14:46:27 2015 +0100

    Finalise changelog & close bug
---
 debian/changelog | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 86dea5a..36ca906 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,11 @@
-agda (2.4.2.2-4) UNRELEASED; urgency=medium
+agda (2.4.2.2-4) unstable; urgency=medium
 
   * [d59dba4] Revert modification of upstream source in
     a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
-  * [570458a] Cherry-pick upstream patch to build with cpphs 1.19
+  * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
+    #793194)
 
- -- Iain Lane <laney at debian.org>  Tue, 04 Aug 2015 14:08:05 +0100
+ -- Iain Lane <laney at debian.org>  Tue, 04 Aug 2015 14:46:23 +0100
 
 agda (2.4.2.2-3) unstable; urgency=medium
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/agda.git