On Sat, Jan 14, 2023 at 11:12:37AM +0100, Benny Siegert wrote: > Someone could submit a pullup request to apply the commit with the > update to the stable branch. wiz, would you like to do that? I've just done that. Thomas