Subject: bug#38308: INFO files changed on disk: mention rereading workaround

From: 積丹尼 Dan Jacobson <[email-masked]>
Date: Thu, 21 Nov 2019 23:00:22 +0800

Dired says the file changed on disk, use g to...

Info doesn't.

Therefore dired shouldn't either.

Or info should at least add *one little itty bitty word* in its
documentation about the issue.