[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/1%8.2-1.2-9-5-g7f1a085

[Stephane Glondu]

The following commit has been merged in the master branch:
commit f22a4fef2379b0079e64ded433447b566ee4f040
Merge: bc26d5e7e8d75611af911b71d4c0c3a49ac9aa0a 24e43098aa32d2be05b53064248988a24968c27f
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jan 9 20:39:16 2012 +0100

    Merge commit 'upstream/8.3pl1'


-- 
coq-float packaging