Subject: bug#64827: texlive is broken

From: Andreas Enge <[email-masked]>
Date: Mon, 7 Aug 2023 13:53:01 +0200

Am Thu, Jul 27, 2023 at 12:59:21PM +0200 schrieb Andreas Enge:
> PS: While trying to push I noticed that there is a branch wip-texlive
>     from January 2022; I suppose this can be deleted now?

Done. The branch appears to have been merged around that time.

Andreas