Subject: [bug#63355] [PATCH] gnu: kodi: Fix build with latest glibc.

From: Ricardo Wurmus <[email-masked]>
Date: Mon, 08 May 2023 08:27:24 +0200

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.

-- 
Ricardo