On 2018-01-29, sebb wrote: > On 29 January 2018 at 05:26, <[email protected]> wrote:
>> /** Whether to enforce leading slashes on the name */ > Comment no longer applies ... > ... are there any other such remaining? Good catch, I think I've changed all of them by now. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
