[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-6-11-g3520703

[Stephane Glondu]

The following commit has been merged in the master branch:
commit b856918d14242a6c92f3168e9cb4d1a7423878dd
Merge: 7ab290b352a3794207ebadbbf1c40f7132b87c16 34eefb6db7a4e9b2046c2b1e6cb4eace50ec4221
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Mar 15 08:22:50 2011 +0100

    Merge commit 'upstream/1.3'


-- 
ssreflect packaging