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
--