|
| 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
| [Prev in Thread] | Current Thread | [Next in Thread] |