> On 12 Dec 2017, at 04:38 , Norbert Preining <preining at logic.at> wrote: > >> Thanks, but the patch does not apply to tlmgr.pl. E.g., the original file > > After today's update of texlive.infra this should be fixed for all > users. Indeed! Thanks! Ciao Enrico