Subject: Re: bug#49536: 28.0.50; Confusing dolist-with-progress-reporter behaviour

From: Lars Ingebrigtsen <[email-masked]>
Date: Sat, 16 Jul 2022 14:32:25 +0200

Lars Ingebrigtsen <[email-masked]> writes:

>> I could push it, if nobody objects.
>
> Looks like the right fix to me, too.

Looks like this was pushed at the time, but the bug report was left
open, so I'm closing it now.

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