[gap-guava] 04/05: Merge tag 'upstream/3.12+ds1'

[Jerome Benoit]

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

calculus-guest pushed a commit to branch master
in repository gap-guava.

commit 35f7e892e0be76d0ec178431f9c3d59ec1dd6ca2
Merge: 0698fc4 a2952bb
Author: Jerome Benoit <calculus at rezozer.net>
Date:   Sat Sep 13 11:52:08 2014 +0200

    Merge tag 'upstream/3.12+ds1'
    
    Upstream version 3.12+ds1

 src/leon/src/Makefile | 192 --------------------------------------------------
 1 file changed, 192 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gap-guava.git