On Tue, Dec 18, 2018 at 04:04:06PM +0100, Ludovic Courtès wrote:
> Looks like the patch that appears in the ‘origin’ no longer applies:

My bad. I am building on different machines...

Attached.