[tex-live] tlmgr 2012 and repository name with space

[Philip TAYLOR]

Philip TAYLOR wrote:

> I'm all for embedded spaces in filenames (except when they
> are to be fetched from the web), but I have never felt the
> need for a leading space.  Could you tell us what benefit
> you see in creating a filename with a leading space ?

OK, annul that please.  A kind-but-anonymous correspondent
has just pointed out that it is an embedded space after all.

Philip Taylor