[Pkg-ocaml-maint-commits] [SCM] camlp5 packaging branch, master, updated. debian/6.08-1-9-g5787d46

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 88b2a3ab21769a3c2cf4ce45a2d73fc0d5d3789a
Merge: 8dd056edacfe324d9d2dbb676b58217b3b91cc10 b5de2e2a67ce0c723533803ab2278d34d2b0d8f3
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Jul 23 10:21:27 2013 +0200

    Merge tag 'upstream/6.10'
    
    Upstream version 6.10


-- 
camlp5 packaging