-
@ waxwing
2025-05-01 20:37:17I wasn't even talking about that specific PR, though it is highly relevant. I generally ACK that, but I don't think it's very important. But the topic of silencing discussion on fora like github, mailing lists, is completely orthogonal to this.