On 12/14/2012 11:55 PM, James Youngman wrote: > I have pushed an alternative patch. It is more complex but I hope > more efficient. It's described at > https://savannah.gnu.org/bugs/?37926.
Hi James, thanks, your solution is even better - if we can save a stat, then it's definitely worth it. The patch looks good. Have a nice day, Berny
