Re: restart point vs restartpoint in the docs

On Tue, 2025-12-02 at 10:36 +0100, Daniel Gustafsson wrote: > While doing something else I noticed that we have 25 uses of "restartpoint" > and > three "restart point": > > $ git grep -i "restartpoint[s]\?[ .,;]" doc/ | wc -l >   25 > $ git grep -i "restart point[s]\?[ .,;]" doc/ | wc -l >   

restart point vs restartpoint in the docs

While doing something else I noticed that we have 25 uses of "restartpoint" and three "restart point": $ git grep -i "restartpoint[s]\?[ .,;]" doc/ | wc -l 25 $ git grep -i "restart point[s]\?[ .,;]" doc/ | wc -l 3 Any objection to applying the attached to make those three "restartpo