On Mon, 22 Sept 2025 at 12:49, David Rowley <[email protected]> wrote: > > On Mon, 22 Sept 2025 at 11:56, Richard Guo <[email protected]> wrote: > > Nice catch. Will push the patch. > > I was just working on a script to find others and it highlighted a > bunch more. Do you still want to do this one, or should I take them > all in one fell swoop?
Please disregard the above. Wrong thread. David
