Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq
Commits: e4880a08 by Stephane Glondu at 2026-02-21T13:42:44+01:00 Close bug - - - - - 1 changed file: - debian/changelog Changes: ===================================== debian/changelog ===================================== @@ -1,7 +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. + * Remove Benjamin Barenblat from Uploaders (Closes: #1128515). -- Julien Puydt <[email protected]> Tue, 17 Feb 2026 09:57:00 +0100 View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/e4880a08fa9c8b22ad0b4ffbda0ce053f2b56a72 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/e4880a08fa9c8b22ad0b4ffbda0ce053f2b56a72 You're receiving this email because of your account on salsa.debian.org.
