[Pkg-ocaml-maint-commits] [SCM] eliom packaging branch, master, updated. debian/3.0.0-2-4-g27c825d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 2f698b454945873bc27c3b2569d89af3999a0e92
Merge: 8e107714439e9b7d1dadf870d58a8fcf2bbbf54a 5dcb418da844b9220d9d0252d5599d87f2b155a8
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Dec 10 21:36:12 2012 +0100

    Merge tag 'upstream/3.0.1'
    
    Upstream version 3.0.1


-- 
eliom packaging