[Pkg-ocaml-maint-commits] [xmlm] 01/03: Merge branch 'upstream'

[Stéphane Glondu]

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

glondu pushed a commit to branch master
in repository xmlm.

commit 79490db088bf011b41ca683d7cd3c0786cbef579
Merge: d54db82 3863f65
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 15 12:35:13 2017 +0200

    Merge branch 'upstream'


-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/xmlm.git