On 6/16/2023 1:11 PM, Arnd Bergmann wrote: > It's probably not worth trying to keep the comments in sync, I'd be in > favor of just removing them all. > Great, thanks! I'll spin up a patch to remove them. You can then choose to apply either of them. Sohil
