Subject: Request for merging "tex-team" branch
From: Nicolas Goaziou <[email-masked]>
To: [email-masked]
Date: Mon, 15 May 2023 17:48:05 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

I'd like the current "tex-team" to be merged into master.

AFAIK, there are no blockers yet.

Regards,
-- 
Nicolas Goaziou