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