[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#30182: Update

From: martin rudalics
Subject: bug#30182: Update
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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]