[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.rc2+dfsg-3-10-ga426602

[Samuel Mimram]

The following commit has been merged in the master branch:
commit a426602c408cdf2ec2cc636cc79b9cc68ea238d1
Merge: e7cb97400fc75827976a48da0138a551496fe14a 1613f8f33adcf8c5e61d3632d6ae62f56b26f1d8
Author: Samuel Mimram <smimram at debian.org>
Date:   Thu Feb 19 14:49:35 2009 +0100

    Merge.


-- 
coq packaging