|
From: | Eli Zaretskii |
Subject: | bug#35076: [26.1] delete-face [FEATURE REQUEST] |
Date: | Tue, 02 Apr 2019 18:10:37 +0300 |
> Date: Mon, 1 Apr 2019 20:38:37 -0400 > From: Boruch Baum <boruch_baum@gmx.com> > Cc: 35076@debbugs.gnu.org > > Thanks for the reference. It doesn't seem resolved there. Neither does it explain why this is needed, FWIW.
[Prev in Thread] | Current Thread | [Next in Thread] |