bug#57102: 29.0.50; Peculiar file-name-split edge case

[Mattias Engdegård]

26 sep. 2022 kl. 13.14 skrev Stefan Kangas <stefankangas@gmail.com>:

> One small step
> in the right direction would be to make sure that:
> 
>    (equal (file-name-split "/foo")
>           (file-name-split "//foo"))

There's the Posix peculiarity that /abc and //abc are potentially distinct, but 
///abc should be equivalent to /abc if I understood it right.
Presumably all the Apollo Domain/OS users insist on it.