[Pkg-ocaml-maint-commits] [SCM] eliom packaging branch, master, updated. debian/3.0.2-1-4-g35a532f

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 3657a42f1db8e0fee698119be42ae85e0380589d
Merge: 503c0cd19d32e9a8c299a958a49a3450318b744f b6920bc8da2f17ba9bbbbb7ac3c30aca44e68b08
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri May 10 10:49:08 2013 +0200

    Merge tag 'upstream/3.0.3'
    
    Upstream version 3.0.3


-- 
eliom packaging