|
From: | Stefan Kangas |
Subject: | bug#56401: "Case folding" should be called "ignore case" |
Date: | Tue, 5 Jul 2022 19:26:12 +0200 |
Lars Ingebrigtsen <larsi@gnus.org> writes: > In any case, I think renaming all the functions and variables here would > not be worth the churn -- there's quite a lot of them. On the other hand, you only need to do it once.
[Prev in Thread] | Current Thread | [Next in Thread] |