Subject: Re: bug#30182: Update

From: martin rudalics <[email-masked]>
Date: Sat, 10 Feb 2018 10:47:04 +0100

> 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