[Pkg-haskell-commits] [agda] 07/07: Imported Debian patch 2.3.2.1-2

[Iain Lane]

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

laney pushed a commit to annotated tag debian/2.3.2.1-2
in repository agda.

commit efaf9bb4a89898b6b2e82afd522e9e2c6a199b73
Author: Iain Lane <laney at debian.org>
Date:   Sat Oct 19 11:58:05 2013 +0100

    Imported Debian patch 2.3.2.1-2

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