> On 4 Oct 2021, at 14:56, Dagfinn Ilmari Mannsåker <ilmari@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/