|
From: | Stefan Kangas |
Subject: | bug#56507: Suggestions for the "Options" menu |
Date: | Tue, 12 Jul 2022 09:38:45 -0500 |
Lars Ingebrigtsen <larsi@gnus.org> writes: > I think I prefer to keep those options as is. I guess we won't make more progress here so I'm closing the bug. Thanks for considering my suggestions.
[Prev in Thread] | Current Thread | [Next in Thread] |