Hi Ludo, On Sun, 25 Nov 2018 16:54:53 +0100 l...@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.
pgp02d52wDw0l.pgp
Description: OpenPGP digital signature
