> Bash's use of // should be fixed, IMO. I did fix it once > myself but I never > forwarded the changes to the maintainer. My bad. As did I. Would your preference be that I rework the patch for it and submit it to the bash maintainer? Would a cygwin patch with server:share as an alternate form be welcome?