On Fri, Nov 15, 2024 at 05:26:08PM +0000, Dean Rasheed wrote:> Yes, I think we should do that (in a separate patch).
$ git grep "leakproof" | wc -l544$ git grep "leak-proof" | wc -l8
So there's a clear winner here.--Michael