[polyml] 01/10: Merge tag 'upstream/5.7_20170222.git2737850' into debian/experimental

[James Clarke]

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

jrtc27 pushed a commit to branch debian/experimental
in repository polyml.

commit 7ec0f543cfba56869424e15e558c4f7a0f91877c
Merge: 185be6a a60026d
Author: James Clarke <jrtc27 at debian.org>
Date:   Wed Feb 22 18:07:43 2017 +0000

    Merge tag 'upstream/5.7_20170222.git2737850' into debian/experimental
    
    Upstream version 5.7~20170222.git2737850
    
    # gpg: Signature made Wed 22 Feb 2017 18:07:42 GMT
    # gpg:                using RSA key 8F58342BEABE1EF4379551FBB193770C186A1C7D
    # gpg:                issuer "jrtc27 at debian.org"
    # gpg: Good signature from "James Clarke <jrtc27 at jrtc27.com>" [ultimate]
    # gpg:                 aka "James Clarke <jrtc27 at debian.org>" [ultimate]

 mlsource/MLCompiler/CodeTree/ByteCode/INTGCODE.ML | 6 ++++++
 1 file changed, 6 insertions(+)

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