On Tue, 27 Dec 2022, Zoltan Somogyi wrote: > Does anyone intend to review this diff, or should I just commit it as is, > without a resolution of the XXX in the log message? Sorry, I assumed it had been reviewed. I'll take a look at it. Julien.