Subject: Re: bug#10920: 24.0.93; Poor response to display size changes

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 21 Feb 2022 15:01:36 +0100

Dave Abrahams <[email-masked]> writes:

> Haven’t noticed it recently

OK; let's hope it's gone, then, and I'm closing this bug report.  If you
see it again, please respond to the debbugs address and we'll reopen.

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