On Sat, 23 Dec 2023, Vít Smolík wrote:
Should someone report the mail to the mailmasters as stated in here: https://www.debian.org/MailingLists/index.en.htmlOr is it too small of an issue to even report?
it's teensy. fjd -- Davis Verbum sat sapienti.