bug#15419: 24.3.50; file name as directory completion problem

[Stefan Monnier <monnier@iro.umontreal.ca>]

> !       ;; If we're using the substring style for file name completion
> !       ;; and completing a directory name, this ends up tacking "/"
> !       ;; onto the name, resulting in "//" if the suffix begins with
> !       ;; "/".  So drop one "/" (bug#15419).
> !       (cons (replace-regexp-in-string "//" "/" (concat prefix merged suffix))

This will remove // from file names where they're valid such
a "http://blabla/" (using url-handler-mode).

The call to completion--merge-suffix is supposed to handle the
particular problem you're after, tho, so you might want to try and
figure out why it doesn't.


        Stefan