Reported by: Daniel Hofstetter <dhofstet <at> gmail.com>;Date: Sun, 20 Aug 2023 12:37:02 UTC;Severity: normal;Filed 1 year and 354 days ago;Modified 1 year and 354 days ago;
Reported by: Daniel Hofstetter <dhofstet <at> gmail.com>;Date: Wed, 6 Aug 2025 16:05:01 UTC;Severity: normal;Tags: notabug;Done: Paul Eggert <eggert <at> cs.ucla.edu>;Can be archived in 27 days;