[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. debian/1%1.4-3-2-g8bd3941

Fri May 10 07:13:49 UTC 2013

The following commit has been merged in the master branch:
commit 8bd39412c1a589dcfa03a7f6fc4f182e38043e0b
Merge: 1dfea99d42620705fa43e15d67878e2cc8bf39bf ace76d79ddf6fa5db4a3d0a8d6015297db5984b8
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri May 10 08:49:46 2013 +0200

    Merge tag 'upstream/1.4'
    
    Upstream version 1.4


-- 
ceve packaging