Re: address@hidden: browse-url-of-dired-file vs. .gz]

[Lennart Borgman]

Jason Rumney wrote:
> Stuart D. Herring wrote:
> > But is it a bug that
> >
> > (browse-url-file-url "/foo.bar")
> >
> > gives "file:/foo.bar" and not "file:///foo.bar"?
> >
> >   
> Both are equally valid URLs for a local file.
Thanks for that info. That clears my confusion a bit. But where is this 
info? I did a search at w3c.org but did not find it.