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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 0cb68f406c590d80072448f85860b036268843af
Merge: 27c825d1e750f22bb18090c4f2c8fda329ff52ec 2dbb4b474e3b007201c85a831a641b2cc3eaaa13
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Dec 12 07:53:33 2012 +0100

    Merge tag 'upstream/3.0.2'
    
    Upstream version 3.0.2


-- 
eliom packaging