Hi Ludo,

On Sun, 25 Nov 2018 16:54:53 +0100
ludo@gnu.org (Ludovic Courtès) wrote:

> It seems that this bug is not fully resolved.  Do you know how we could
> skip it in the meantime?

Yes, just try the build again.  It's a thread synchronization problem.