Benjamin Barenblat pushed to branch master at Debian OCaml Maintainers / coq
Commits: b1011291 by Benjamin Barenblat at 2026-02-19T19:37:11-05:00 Remove Benjamin Barenblat from Debian uploaders - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,6 +1,7 @@ coq (9.1.0+dfsg-4) UNRELEASED; urgency=medium * Fix non-native platform compilation thanks John Paul Adrian Glaubitz (Closes: #1128189). + * Remove Benjamin Barenblat from Uploaders. -- Julien Puydt <[email protected]> Tue, 17 Feb 2026 09:57:00 +0100 ===================================== debian/control ===================================== @@ -3,7 +3,6 @@ Section: math Priority: optional Maintainer: Debian OCaml Maintainers <[email protected]> Uploaders: - Benjamin Barenblat <[email protected]>, Julien Puydt <[email protected]>, Ralf Treinen <[email protected]>, Stéphane Glondu <[email protected]> View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/b1011291339dd86b22ebbe970a2be1ea6941aaa7 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/b1011291339dd86b22ebbe970a2be1ea6941aaa7 You're receiving this email because of your account on salsa.debian.org.
