|
| From: | Eli Zaretskii |
| Subject: | bug#41401: 27.0.91; gdb-mi headers use mode-line faces |
| Date: | Tue, 19 May 2020 17:29:34 +0300 |
> From: Trevor Spiteri <tspiteri@ieee.org> > Date: Tue, 19 May 2020 14:50:29 +0200 > > This report can be closed. Done, thanks.
| [Prev in Thread] | Current Thread | [Next in Thread] |