summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorStephane Glondu <steph@glondu.net>2019-08-07 10:43:07 +0200
committerStephane Glondu <steph@glondu.net>2019-08-07 10:43:07 +0200
commit2d97709fcf95994700411255495b348809aaea68 (patch)
tree5e2a88a8d76e2df54bc4cbb77c5f8e326d25e5ca /debian
parent84356bd9e28811d165419ed7578d813921f2d432 (diff)
Remove Samuel from Uploaders
Diffstat (limited to 'debian')
-rw-r--r--debian/control1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index 1daa612..6f34b75 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,6 @@ Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
- Samuel Mimram <smimram@debian.org>,
Stéphane Glondu <glondu@debian.org>,
Mehdi Dogguy <mehdi@debian.org>,
Ralf Treinen <treinen@debian.org>,