[Pkg-ocaml-maint-commits] [SCM] ledit packaging branch, master, updated. debian/2.02.1-3-5-g5b60bf8

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 0921f7e43a53b8464556b614f973926d90add914
Merge: ce8f20cce00553917772610bbe192b011f3c2095 6b013a037d134152901bf606dfa9c9fcbf49a95a
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Mar 4 16:06:57 2012 +0100

    Merge tag 'upstream/2.03'
    
    Upstream version 2.03


-- 
ledit packaging