|
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] |