[coinor-cgl] 13/14: Merge branch 'upstream' into experimental

[Anton Gladky]

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

gladk pushed a commit to branch experimental
in repository coinor-cgl.

commit b11992dde65ac0b9cfd2f45f43a0b29e29846f4f
Merge: 38b61e7 bcc660c
Author: Anton Gladky <gladk at debian.org>
Date:   Mon Jun 5 16:42:14 2017 +0200

    Merge branch 'upstream' into experimental


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