On Fri, 19 Sept 2025 at 23:14, David Rowley <[email protected]> wrote: > > On Fri, 19 Sept 2025 at 22:48, Tender Wang <[email protected]> wrote: > > "catched" should be "caught". > > Thanks. I'll handle this.
I ended up doing a bit more rewording in this area. I wasn't quite sure if I understood the "to be effective" terminology. I suspect this means efficiency, so I ended up changing a bit more than just the typo. David
