[Pkg-haskell-commits] [agda] 02/07: Merge tag 'upstream/2.3.2.2'

[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 126a25029841e2cab0907f70ea3c29d827bfd5de
Merge: e66ef74 624f8aa
Author: Iain Lane <iain at orangesquash.org.uk>
Date:   Tue Aug 5 03:38:43 2014 +0100

    Merge tag 'upstream/2.3.2.2'
    
    Upstream version 2.3.2.2


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