Processed: Re: Bug#1091458: transition: coq-ext-lib

To: Emilio Pozuelo Monfort <pochu@debian.org>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#1091458: transition: coq-ext-lib
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 09 Jan 2025 18:51:02 +0000
Message-id: <[🔎] handler.s.B1091458.17364484971114863.transcript@bugs.debian.org>
References: <[🔎] 96d0887a-893b-4d91-b9b0-288ce6739dd3@debian.org> <c1b808c1f93d477cbb4a36c06cd355f066def6cf.camel@gmail.com>

Processing control commands:

> tags -1 confirmed
Bug #1091458 [release.debian.org] transition: coq-ext-lib
Added tag(s) confirmed.

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

Reply to:

References:
- Bug#1091458: transition: coq-ext-lib
  - From: Emilio Pozuelo Monfort <pochu@debian.org>

Prev by Date: Bug#1092338: transition: shibboleth
Next by Date: Bug#1091458: transition: coq-ext-lib
Previous by thread: Bug#1091458: transition: coq-ext-lib
Next by thread: Bug#1063770: marked as done (transition: mupdf)
Index(es):
- Date
- Thread