Drop retired Enrico Tassi from uploaders (Closes: #995543)
Julien Puydt
2 years ago
| 0 | coq (8.12.0-3.1) UNRELEASED; urgency=medium | |
| 1 | ||
| 2 | * Non-maintainer upload. | |
| 3 | * Drop retired Enrico Tassi from uploaders (Closes: #995543). | |
| 4 | ||
| 5 | -- Julien Puydt <jpuydt@debian.org> Tue, 02 Nov 2021 20:47:56 +0100 | |
| 6 | ||
| 0 | 7 | coq (8.12.0-3) unstable; urgency=medium |
| 1 | 8 | |
| 2 | 9 | * Upload to unstable |