On Thu, Sep 19, 2024 at 2:35 PM Andrew Kreimer via GitGitGadget <gitgitgadget@xxxxxxxxx> wrote: > Fix typos in documentation, comments, etc. > > Andrew Kreimer (20): Thanks. These all look fine. Out of curiosity, did you use a tool to discover these mistakes?