[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-27-gabb5c8e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit aa19ee74e6b1ea899275f0b4716ec8c2244760b2
Merge: bf6ab8f15a3fb9faf96dc4fb0f2b27730b005017 962cf5c4b31528868f55e42c445e36ca90a1ab51
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Jan 6 17:50:43 2010 +0100

    Merge commit 'upstream/8.2pl1'


-- 
coq-doc packaging