Reported by: yubiao hu <huyubiaox <at> gmail.com>;Date: Thu, 28 Aug 2025 07:24:02 UTC;Severity: normal;Tags: notabug, patch;Merged with 79331;Found in version 9.4;Done: Paul Eggert <eggert <at> cs.ucla.edu>;Can be archived in 16 days;Filed 13 days ago;Modified 12 days ago;