Re: Check for externally modified files does not work on Mac

[Bo Peng]

> I added a comment and committed the fix.

Thanks. Did you also consider the case when an emergency file is
loaded instead of the original file?

Bo