[sagemath] branch master updated (8753d7c -> 3c82ad9)

[Tobias Hansen]

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

thansen pushed a change to branch master
in repository sagemath.

      from  8753d7c   Added proper detection of cddlib to the pruner configure script
       new  356d2d7   Boost is now needed for sage (update pruner).
       new  3c82ad9   Remove polybori comment from pruner (#751098 is fixed).

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/pruner/configure.ac | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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