|
| From: | Manuel Giraud |
| Subject: | bug#67174: 30.0.50; [PATCH] What about a vectorized Gnus mode-line logo? |
| Date: | Mon, 20 Nov 2023 20:35:02 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
Eric Abrahamsen <eric@ericabrahamsen.net> writes: [...] > Done! Thanks for the patch. Thank you! -- Manuel Giraud
| [Prev in Thread] | Current Thread | [Next in Thread] |