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 -l 544 $ git grep "leak-proof" | wc -l 8 So there's a clear winner here. -- Michael
signature.asc
Description: PGP signature
