Processed: Bug#1003539 marked as pending in coq-doc

To: Julien Puydt <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#1003539 marked as pending in coq-doc
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 08 Feb 2022 18:27:06 +0000
Message-id: <[🔎] handler.s.U1003539.164434467610639.transcript@bugs.debian.org>
References: <6202b561d5d49_10b12b27081a3830786bc@godard.mail> <164191806664.12655.5937648120343470503.reportbug@zam504.zam.kfa-juelich.de>

Processing control commands:

> tag -1 pending
Bug #1003539 [coq-doc] coq-doc: several releases behind coq
Added tag(s) pending.

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

Reply to:

Prev by Date: wyrd_1.5.1-1_source.changes ACCEPTED into unstable
Next by Date: Bug#1003539: marked as done (coq-doc: several releases behind coq)
Previous by thread: wyrd_1.5.1-1_source.changes ACCEPTED into unstable
Next by thread: Bug#1003539: marked as done (coq-doc: several releases behind coq)
Index(es):
- Date
- Thread