|
| From: | Drew Adams |
| Subject: | RE: [External] : Re: Question about customising faces |
| Date: | Tue, 30 Aug 2022 21:46:10 +0000 |
> See the discussion of bug#54156. Which here, for those interested: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=54156
| [Prev in Thread] | Current Thread | [Next in Thread] |