Subject: bug#67588: acknowledged by developer (Control message)

From: Karl Berry <[email-masked]>
Date: Fri, 12 Jan 2024 23:36:26 +0100

The bug was silently closed ... hopefully Mike's patch was applied? Or
something?  Not that it's a big deal, of course, just
wondering. --thanks, karl.