[Pkg-ocaml-maint-commits] [SCM] cppo packaging branch, master, updated. debian/0.9.0-2-11-g9c84b55

[Stephane Glondu]

The following commit has been merged in the master branch:
commit fdda6bc88d9f25dd1f24c98e74b2db2863c994a8
Merge: 6f3ff6747c921a5af2701beac850c1bd340eaf45 626af0a5e6468a79d70bb0d27ea0470d7e5c60b3
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 12 12:49:45 2011 +0200

    Merge commit 'upstream/0.9.2'


-- 
cppo packaging