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? > Ok with that fixed. I'll wait an answer before fixing that.
And obviously, any push is suspended until we work this out. Regards, Stefano
