Hello Dave, Stefano,

* Dave Hart wrote on Fri, Jul 16, 2010 at 03:47:53AM CEST:
> On Thu, Jul 15, 2010 at 22:59 UTC, Stefano Lattarini wrote:
> > At Thursday 15 July 2010, Ralf Wildenhues wrote:
> >> No, the patch should not modify initial double slash, that is not
> >> the same as a single slash in general.
> > Why?
> 
> I hope it's not rude for me to dive in from a lurking position.

Not at all, especially since your answer is spot-on.
info Autoconf "File System Conventions" hints at it.

Thanks,
Ralf

Reply via email to