|
| From: | Michael Heerdegen |
| Subject: | bug#57848: 29.0.50; Problems with private tab-line-tab-name-function |
| Date: | Sat, 12 Nov 2022 03:44:30 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
Juri Linkov <juri@linkov.net> writes: > Thanks for the suggestion, now fixed. Thanks too, Michael.
| [Prev in Thread] | Current Thread | [Next in Thread] |