[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-6-12-g7a99898

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 280a2ce129daa351bc1993cb1a60ce7dd5801bd5
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 1 17:41:01 2010 +0200

    Remove Stefano and Remi from Uploaders

diff --git a/debian/control b/debian/control
index 1991f42..4b4d75e 100644
--- a/debian/control
+++ b/debian/control
@@ -4,8 +4,6 @@ Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders:
  Ralf Treinen <treinen at debian.org>,
- Remi Vanicat <vanicat at debian.org>,
- Stefano Zacchiroli <zack at debian.org>,
  Samuel Mimram <smimram at debian.org>,
  Stéphane Glondu <glondu at debian.org>
 Standards-Version: 3.9.0

-- 
coq packaging