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

From: Mattias Engdegård <[email-masked]>
Date: Mon, 26 Sep 2022 14:07:08 +0200

26 sep. 2022 kl. 13.14 skrev Stefan Kangas <[email-masked]>:

> 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.