[Git][ocaml-team/coq] Pushed new tag upstream/8.10.1

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/coq] Pushed new tag upstream/8.10.1
From: Ralf Treinen <gitlab@salsa.debian.org>
Date: Sat, 16 Nov 2019 20:39:16 +0000
Message-id: <[🔎] 5dd05e7411a40_3a52b139fb70cb8582238@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Ralf Treinen pushed new tag upstream/8.10.1 at Debian OCaml Maintainers / coq

Reply to:

Prev by Date: [Git][ocaml-team/coq] Pushed new branch 8.10/upstream
Next by Date: [Git][ocaml-team/coq] Pushed new branch 8.10/debian
Previous by thread: [Git][ocaml-team/coq] Pushed new branch 8.10/upstream
Next by thread: [Git][ocaml-team/coq] Pushed new branch 8.10/debian
Index(es):
- Date
- Thread