[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.3pl3-1-4-g34fcd23

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 49b94ff1731dc1e012ee0270a0619ba4fd967102
Merge: 92d773674c3489e274988c5455c3f5dd50004112 8381e5297424e0e6690dd6ddcc278961dc56e3dc
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Apr 6 07:32:22 2012 +0200

    Merge tag 'upstream/8.3pl4'
    
    Upstream version 8.3pl4


-- 
coq-doc packaging