Subject: bug#69934:

From: Robert Boyer <[email-masked]>
Date: Thu, 21 Mar 2024 20:17:09 -0500

Could some kind soul give me a line like the following, but one that
includes 'auto-revert tail' and 'display-line'?

;;; -*- Mode: auto-revert -*-

Thanks,

Bob