[Pkg-ocaml-maint-commits] [SCM] pxp packaging branch, master, updated. debian/1.2.2-1-9-gae0a01c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 0ad379889ba6ac186cd80265b846c20eaf96e717
Merge: a0d7af129cd52bb5bd5431c06e1add0d0726ea71 6fc6621d79ec2a7e143c84a979a402e077f51f83
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 11 11:18:40 2013 +0200

    Merge tag 'upstream/1.2.4'
    
    Upstream version 1.2.4


-- 
pxp packaging