Subject: Re: bug#6420: Some enhancements to debugging

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 10 May 2021 13:11:13 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> (This was ten years ago, but didn't get a lot of attention at the time.)

And I guess there wasn't any enthusiasm for applying this patch this
year, either, so I'm closing this bug report.  If this is something that
should be worked upon further, please respond to the debbugs address,
and we'll reopen.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no