Subject: Re: bug#30182: Update
From: martin rudalics <[email-masked]>
To: Eli Zaretskii <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Sat, 10 Feb 2018 10:47:04 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

> Agreed.  I'll probably move it to display_mode_lines.

Moved there now.  Thanks to everyone involved for helping to track
down this bug.

Closing this bug, martin