[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.2pl1-1-15-g3e87e64

[Stephane Glondu]

The following commit has been merged in the master branch:
commit f4f82b969faa55a9d63120f41b5c2d0b88562d89
Merge: 6a5c0e609dd10f1f19ab7a03e69a45ec25280b17 59ca2432a2d477fd8efe07c23f422784ef94fad7
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri May 6 10:32:25 2011 +0200

    Merge commit 'upstream/8.3pl2'


-- 
coq-doc packaging