On Tue, Mar 08, 2022 at 02:51:26PM +0000, David CARLIER wrote: > Hi to (re)close #1555. :-)
Thanks for the quick fix David. I've copied a piece of the error output into the commit message as it's always helpful for those facing build breakage. Now merged, and if this time it's OK I'll backport it to 2.5. Willy
