On Wed, 17 May 2023 12:44:58 +0200 Giovanni Biscuolo wrote: > Since commit 4ed8c0b is setting version to 5.0.0 and that version > works (does it?), I'd go for an "update to 5.0.0" patch It at least builds fine. Thanks a lot for the advises. Denis.