> 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! I avoided the reflow of the comments though to make it the minimal change. -- Daniel Gustafsson https://vmware.com/
