[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-3

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-3
From: "Ralf Treinen (@treinen)" <gitlab@salsa.debian.org>
Date: Wed, 28 Dec 2022 02:20:48 +0000
Message-id: <[🔎] 63aba80042c65_3f61ffff4782162833@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Ralf Treinen pushed new tag debian/20220511-manganese-3 at Debian OCaml Maintainers / frama-c

Reply to:

Prev by Date: frama-c_20220511-manganese-3_source.changes ACCEPTED into unstable
Next by Date: Bug#1027280: mldonkey-server: mldonkey is missing from the repositories.
Previous by thread: frama-c_20220511-manganese-3_source.changes ACCEPTED into unstable
Next by thread: Bug#1027280: mldonkey-server: mldonkey is missing from the repositories.
Index(es):
- Date
- Thread