Bug#354432: what should be done now

To: 354432@bugs.debian.org
Cc:
Subject: Bug#354432: what should be done now
From: Thomas Lange <lange@cs.uni-koeln.de>
Date: Fri, 20 Oct 2023 22:37:18 +0200
Message-id: <[🔎] 25906.58622.816607.215069@cs.uni-koeln.de>
Reply-to: Thomas Lange <lange@cs.uni-koeln.de>, 354432@bugs.debian.org
References: <20060226094242.GA11280@itp.uni-hannover.de>

Can anyone decide what to do with this bug?
Wontfix, closing or is the patch working?

-- 
regards Thomas

Reply to:

Prev by Date: Bug#612442: marked as done (www.debian.org: limit maximum width of text)
Next by Date: Bug#977160: new info?
Previous by thread: Bug#612442: marked as done (www.debian.org: limit maximum width of text)
Next by thread: Bug#977160: new info?
Index(es):
- Date
- Thread