On Wed, Nov 09, 2022 at 08:19:47AM +0100, Ruediger Pluem wrote: > Typically the change to the xml file and the updated html files are committed > separately e.g. look at
I will let someone review xml changes in r1905230 before committing the html files. -- Emmanuel Dreyfus m...@netbsd.org
