Processed: Bug#995543 marked as pending in coq

To: Julien Puydt <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#995543 marked as pending in coq
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 02 Nov 2021 19:51:06 +0000
Message-id: <[🔎] handler.s.U995543.163588254618971.transcript@bugs.debian.org>
References: <61819630e4808_3e32b275c3ae6f89432a@godard.mail> <YVgoPre9y64n4ZBB@mapreri.org>

Processing control commands:

> tag -1 pending
Bug #995543 [src:coq] Updating the coq Uploaders list
Added tag(s) pending.

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

Reply to:

Prev by Date: ocaml-ansi-terminal_0.8.2-1_amd64.changes is NEW
Next by Date: Updating coq
Previous by thread: ocaml-ansi-terminal_0.8.2-1_amd64.changes is NEW
Next by thread: Updating coq
Index(es):
- Date
- Thread