Il 30/09/20 07:47, Hilmar Preuße ha scritto: > Which version of texlive-base do you have installed?
2020.20200804-3, the one currently in testing. Ah, now I see the latest texlive-base 2020.20200925-1 fixes #970838, which should be the real bug behind this one. Is this so? In this case, apologies for the noise. Gabriele
