Processed: Re: Bug#1019239: transition: coq (41 packages involved)

To: Sebastian Ramacher <sramacher@debian.org>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#1019239: transition: coq (41 packages involved)
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 06 Sep 2022 07:45:08 +0000
Message-id: <[🔎] handler.s.B1019239.166245009810652.transcript@bugs.debian.org>
References: <[🔎] Yxb5r0EAHQJEwIhO@ramacher.at> <[🔎] CAB=MRcKziP-FCLO0uHvLZJ7jzXRqg4eXNF9035p3nahE1FMRyQ@mail.gmail.com>

Processing control commands:

> tags -1 confirmed
Bug #1019239 [release.debian.org] transition: coq (41 packages involved)
Added tag(s) confirmed.

-- 
1019239: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019239
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1019239: transition: coq (41 packages involved)
  - From: Sebastian Ramacher <sramacher@debian.org>
- Bug#1019239: transition: coq (41 packages involved)
  - From: Julien Puydt <julien.puydt@gmail.com>

Prev by Date: Bug#1019220: marked as done (nmu: bind-dyndb-ldap_11.10-1)
Next by Date: Bug#1019239: transition: coq (41 packages involved)
Previous by thread: Bug#1019239: transition: coq (41 packages involved)
Next by thread: Bug#1019239: transition: coq (41 packages involved)
Index(es):
- Date
- Thread