Re: Reload file from disk

[Ken Olum]

   From: Eli Zaretskii <address@hidden>
   Date: Sat, 11 Nov 2017 13:55:26 +0200

   > From: Florian Weimer <address@hidden>

   > (I still find the default behavior thoroughly bizarre, but that's
   > probably a matter of taste.)

   I'm with you, but it looks like we are the minority nowadays.

I redefined find-file-read-args in my init file to reinstate the old
behavior when the new came out.  How about a variable to control this
for the possibly large minority that prefer the old behavior?

                                          Ken