It works! Thank you!

Jimmy
On Nov 7, 2024 at 8:35 AM +0000, Robert Pluim <rpluim@gmail.com>, wrote:
> > > > > > On Wed, 06 Nov 2024 16:36:24 +0200, Eli Zaretskii <eliz@gnu.org> said:
>
> Eli> If no one objects, I think we should install this
>
> Sure, although Jimmy hasnʼt yet said it fixes his issue 😀
>
> Robert
> --