Daniel Gustafsson <dan...@yesql.se> writes: >> On 4 Oct 2021, at 14:56, Dagfinn Ilmari Mannsåker <ilm...@ilmari.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
