Daniel Gustafsson <daniel(at)yesql(dot)se> writes:
>> On 4 Oct 2021, at 14:56, Dagfinn Ilmari Mannsåker <ilmari(at)ilmari(dot)org> wrote:
>
>> I noticed a duplicate-word typo in a comments recently, and cooked up
>> the following ripgrep command to find some more.
>
> Pushed to master, thanks!
Thanks!
> I avoided the reflow of the comments though to make it the minimal
> change.
Fair enough. I wasn't sure myself whether to do it or not.
- ilmari