[Git][ocaml-team/coq-doc] Pushed new tag debian/8.19.1-2

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/coq-doc] Pushed new tag debian/8.19.1-2
From: Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>
Date: Tue, 18 Jun 2024 09:18:17 +0000
Message-id: <[🔎] 667150d92d267_32349413cb66ec9441aa@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Stéphane Glondu pushed new tag debian/8.19.1-2 at Debian OCaml Maintainers / coq-doc

Reply to:

Prev by Date: [Git][ocaml-team/coq-doc] Pushed new tag archive/debian/8.19.1-2
Next by Date: Processing of coq-doc_8.19.1-2_source.changes
Previous by thread: [Git][ocaml-team/coq-doc] Pushed new tag archive/debian/8.19.1-2
Next by thread: Processing of coq-doc_8.19.1-2_source.changes
Index(es):
- Date
- Thread