On Mon, Sep 29, 2025 at 03:30:37PM +0200, Santiago Vila wrote: > > I leave the final upload to you. > > In particular, you might want to investigate why the salsa pipelines are > failing. > > (Looks like some kind of breakage of TeX packages).
Hi. I went ahead and did the upload finally. (There was no TeX breakage anymore) Thanks.

