Processed: Re: Bug#1087631: Transition: coq 8.20

To: Emilio Pozuelo Monfort <pochu@debian.org>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#1087631: Transition: coq 8.20
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Wed, 20 Nov 2024 09:30:02 +0000
Message-id: <[🔎] handler.s.B1087631.17320948403409228.transcript@bugs.debian.org>
References: <[🔎] b2568d2c-d33e-40f6-b76b-47c5eaf5a242@debian.org> <[🔎] 75d7690d96fb8b5303017444cac7c09d708a612e.camel@gmail.com>

Processing control commands:

> tags -1 confirmed
Bug #1087631 [release.debian.org] Transition: coq 8.20
Added tag(s) confirmed.

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

Reply to:

References:
- Bug#1087631: Transition: coq 8.20
  - From: Emilio Pozuelo Monfort <pochu@debian.org>
- Bug#1087631: Transition: coq 8.20
  - From: Julien Puydt <julien.puydt@gmail.com>

Prev by Date: Processed: Re: Bug#1087242: transition: tango
Next by Date: Bug#1087242: transition: tango
Previous by thread: Bug#1087631: Transition: coq 8.20
Next by thread: Bug#1083004: xsane 0.999-12.1~deb12u1 flagged for acceptance
Index(es):
- Date
- Thread