diff options
author | Stephane Glondu <steph@glondu.net> | 2019-08-07 10:43:07 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2019-08-07 10:43:07 +0200 |
commit | 2d97709fcf95994700411255495b348809aaea68 (patch) | |
tree | 5e2a88a8d76e2df54bc4cbb77c5f8e326d25e5ca /debian | |
parent | 84356bd9e28811d165419ed7578d813921f2d432 (diff) |
Remove Samuel from Uploaders
Diffstat (limited to 'debian')
-rw-r--r-- | debian/control | 1 |
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>, |