[singular] 04/07: Merge tag 'upstream/4.0.1p2'

[Jerome Benoit]

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

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

commit 5d981da4e128ebb08ee1b37a2f99f6ef863f4b55
Merge: 1c8780b 1e597ac
Author: Jerome Benoit <calculus at rezozer.net>
Date:   Sun Feb 8 12:35:09 2015 +0100

    Merge tag 'upstream/4.0.1p2'
    
    Upstream version 4.0.1p2


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