On 11 Dec 2023 21:45 -0700, from charlescur...@charlescurley.com (Charles Curley): > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1057967
And from the looks of that bug report thread, message #72 onwards, there is now a candidate fix. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1057967#72 I'll echo the sentiment of Kevin Price in #77: let's hope that a corresponding build can be pushed to Stable soon, indeed. -- Michael Kjörling 🔗 https://michael.kjorling.se “Remember when, on the Internet, nobody cared that you were a dog?”