[Pkg-ocaml-maint-commits] [SCM] atdgen packaging branch, master, updated. debian/1.2.2-1-6-ga0bf1ce

[Hendrik Tews]

The following commit has been merged in the master branch:
commit c811ba78c0e67b3159c6f054cd05ebca61413575
Merge: 40878d0014be06f339eaac419ac5c2e7cd8b817e 118794ca4b234d71d6c190f67d083f98994af9d4
Author: Hendrik Tews <hendrik at askra.de>
Date:   Thu Jun 6 13:47:26 2013 +0200

    Merge tag 'upstream/1.2.5'
    
    Upstream version 1.2.5


-- 
atdgen packaging