On Fri, Aug 22, 2025 at 10:41:15AM +0900, Richard Guo wrote: > Although these casts are unnecessary for sure, I'm not sure if it's > worth making the code changes to fix them.
That's sort of the point. This is not code that needs to be fixed, because it's not broken. -- Michael
signature.asc
Description: PGP signature
