Processed: Re: Bug#1021090: transition: coq-hierarchy-builder

To: Sebastian Ramacher <sramacher@debian.org>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#1021090: transition: coq-hierarchy-builder
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 02 Oct 2022 14:00:04 +0000
Message-id: <[🔎] handler.s.B1021090.166471909014912.transcript@bugs.debian.org>
References: <[🔎] YzmY77r9RWLXiVHF@ramacher.at> <[🔎] 881d9e28b9c0e4550b3150947f50b188a9023e7f.camel@gmail.com>

Processing control commands:

> tags -1 confirmed
Bug #1021090 [release.debian.org] transition: coq-hierarchy-builder
Added tag(s) confirmed.

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

Reply to:

References:
- Bug#1021090: transition: coq-hierarchy-builder
  - From: Sebastian Ramacher <sramacher@debian.org>
- Bug#1021090: transition: coq-hierarchy-builder
  - From: julien.puydt@gmail.com

Prev by Date: NEW changes in stable-new
Next by Date: Bug#1021090: transition: coq-hierarchy-builder
Previous by thread: Bug#1021090: transition: coq-hierarchy-builder
Next by thread: Bug#1021090: transition: coq-hierarchy-builder
Index(es):
- Date
- Thread