|
From: | Bastien |
Subject: | Re: [RFC] Re: Headings and Headlines |
Date: | Sun, 27 Nov 2022 11:32:49 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) |
Ihor Radchenko <yantar92@posteo.net> writes: > I looked into this further and I do not think that it is a good idea to > make this change in the coming release. Renaming some things is very too > easy to get wrong and cause failures. Yes, there is absolutely no rush for this. -- Bastien
[Prev in Thread] | Current Thread | [Next in Thread] |