rvoland at tds.net
Mon Jul 8 02:54:05 CEST 2019
I updated late today and all is fine. TeX Live Manager GUI works again and I can use LaTeX to make documents.
Thanks for your help.
----- Original Message -----
From: "Siep Kroonenberg" <siepo at bitmuis.nl>
To: tex-live at tug.org
Sent: Saturday, July 6, 2019 3:29:30 AM
The problem should now be fixed, but you may want to wait a day for
the mirrors to catch up.
Update both tlmgr and tlshell.
More information about the tex-live