[agda] 03/04: Update changelog

[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 fc47028bd697185c14287b808276cc7dcb68f9d5
Author: Iain Lane <laney at debian.org>
Date:   Tue Aug 4 14:10:10 2015 +0100

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

diff --git a/debian/changelog b/debian/changelog
index 46031fb..86dea5a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+agda (2.4.2.2-4) UNRELEASED; 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
+
+ -- Iain Lane <laney at debian.org>  Tue, 04 Aug 2015 14:08:05 +0100
+
 agda (2.4.2.2-3) unstable; urgency=medium
 
   * Fix dependency on hashtables

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