[Git][ocaml-team/why3] Pushed new tag debian/1.2.1-2

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/why3] Pushed new tag debian/1.2.1-2
From: Ralf Treinen <gitlab@salsa.debian.org>
Date: Mon, 04 Nov 2019 00:57:20 +0000
Message-id: <[🔎] 5dbf777049c09_1d72b27bb3b0ffc3001eb@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Ralf Treinen pushed new tag debian/1.2.1-2 at Debian OCaml Maintainers / why3

Reply to:

Prev by Date: why3_1.2.1-2_source.changes ACCEPTED into unstable
Next by Date: [Git][ocaml-team/ocaml] Pushed new branch HEAD
Previous by thread: why3_1.2.1-2_source.changes ACCEPTED into unstable
Next by thread: [Git][ocaml-team/ocaml] Pushed new branch HEAD
Index(es):
- Date
- Thread