Enrico Forestieri wrote: > I also prefer that (because no disk access is performed if it is not > really necessary) and did not apply it for the previously stated reasons. > However, I think that if a problem shows up, it can be worked out. > So I am going to revert my previous commit and apply Georg's patch.
OK, thanks. Jürgen
