microscopic fonts in TL guis

[Siep Kroonenberg]

On Tue, Apr 21, 2020 at 01:45:56PM +0100, Philip Taylor wrote:
> Siep K*roonenberg wrote:
> 
> > > tlshell is not part of the infrastructure. You can update it
> > > separately from texlive.infra / tlmgr.
> > > 
> 
> Now more confused then ever, Siep.  I first performed a GUI "Update all updatable", then did the command-line stuff; what third approach do I therefore need ?
> /** Phil./

Ok, I forgot to put in a warning that it would probably take a day
or so for the update to make it to the mirrors.

-- 
Siep Kroonenberg