On Mon, Sep 29, 2014 at 7:47 PM, Ben Hutchings <[email protected]> wrote: > I think the best way to deal with this would be to add a comment > clarifying which file path is actually read.
Yes, that would be really helpful! -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
