Subject: Re: Request for merging "tex-team" branch

From: Nicolas Goaziou <[email-masked]>
Date: Fri, 06 Sep 2024 15:28:55 +0200

Hello,

Closing this report since the branch was merged along with latest core-updates.

Regards,
-- 
Nicolas Goaziou