[polyml] 08/13: Updated version 5.7 from 'upstream/5.7'

[James Clarke]

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

jrtc27 pushed a commit to branch master
in repository polyml.

commit 7f6eaf6f2c6a933560de9349c496cc8ade693fc7
Merge: 59e2a63 979db4d
Author: James Clarke <jrtc27 at debian.org>
Date:   Fri Aug 18 23:39:02 2017 +0100

    Updated version 5.7 from 'upstream/5.7'
    
    with Debian dir a5108cf178038f4e719ab3b9f93c96b767ec925a


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