swedebugia Mon, 17 Dec 2018 01:27:03 -0800
Hi Is this still a problem after Pierres work on texlive and when using the mirror?
-- Cheers Swedebugia