Re: [Updated patch 4114] Enable File -> Revert, AND ask if overwrite, if the file is externally modified.

[Bo Peng]

> > All done, the eighth version is attached.
>
> Great! Thanks for being patient.

Committed. Thanks for commenting on the patch.

Bo