[Pkg-ocaml-maint-commits] [SCM] mldonkey packaging branch, master, updated. debian/3.1.1-1-5-gd94efc7

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 887b45b1b38d1e12034338d6b185f14ff3e2a92e
Merge: d03a8e9b95f36cdb4691780e59a2acdca1953200 4df17194580e75b7aeb3e88db86a43ebef88acc4
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Wed Jun 6 14:36:44 2012 +0200

    Merge tag 'upstream/3.1.2'
    
    Upstream version 3.1.2


-- 
mldonkey packaging