Bug#1073023: (No Subject)

To: "1073023@bugs.debian.org" <1073023@bugs.debian.org>
Subject: Bug#1073023: (No Subject)
From: andy@onthewings.net
Date: Mon, 12 Aug 2024 23:07:04 +0000
Message-id: <[🔎] b385GImjIjkVU9AIvFY_9pUg5gFu8fbi2CNJKMtsUurwchYmLREkLLm2xe4_6BWShnelDvR1xGs4wAA_vBdIjZbsPvqVdpyP5YpK_zLXEW8=@onthewings.net>
Reply-to: andy@onthewings.net, 1073023@bugs.debian.org
References: <6b80d7f2-6114-4809-8cf6-4cbfb2f52d18@debian.org>

Control: block -1 by 1073595

Hopefully I get the control command correct this time. Sorry for the noise.

Reply to:

Prev by Date: Bug#1073023: (No Subject)
Next by Date: Processed: bug 1078549 is forwarded to https://github.com/LPCIC/coq-elpi/issues/678
Previous by thread: Bug#1073023: (No Subject)
Next by thread: Processed: bug 1078549 is forwarded to https://github.com/LPCIC/coq-elpi/issues/678
Index(es):
- Date
- Thread