Subject: Re: bug#75142: 31.0.50; package-refresh-contents is not async when using interactively.

From: Eli Zaretskii <[email-masked]>
Date: Sat, 15 Feb 2025 12:23:40 +0200

> From: Philip Kaludercic <[email-masked]>
> Cc: "Eli Zaretskii" <[email-masked]>,  [email-masked],
>   [email-masked]
> Date: Fri, 31 Jan 2025 07:55:55 +0000
> 
> [email-masked] writes:
> 
> >> [email-masked] writes:
> >>
> >>>> Ping! Did someone try the patch, and if so, did it give good results?
> >>>
> >>> It works but gives no indication of what its doing to the user, and
> >>> doesn't notify when its done.
> >>
> >> That is easy to fix, what do you think about:
> >
> > That works.
> 
> Great, if there are no objections I'd push

Did you push it?  If not, please do, and please close the bug when you
do.