Subject: Re: [PATCH] gnu: kodi: Fix build with latest glibc.

From: Eric Bavier <[email-masked]>
Date: Wed, 10 May 2023 19:01:17 +0000

On Mon, 2023-05-08 at 08:27 +0200, Ricardo Wurmus wrote:
> Hi Eric,
> 
> > Ricardo, do you
> > recall why this special package was added? or forsee anything wrong with the
> > change?
> 
> “No” to both questions.  This looks good to me.
> 

Great, thanks!  This patch was pushed in 7e152870558e.

A follow-up commit in b4e5844700b2 responds to a recent mesa update. 
Probably a kodi update would also have worked, but a backport of the
immediate fix was more expedient.

`~Eric