Subject: Re: bug#19934: Failed run of make check
From: [email-masked] (Ludovic Courtès)
To: Ricardo Wurmus <[email-masked]>
Cc: Peter Baumgarten <[email-masked]>, [email-masked]
Date: Mon, 06 Apr 2015 22:02:34 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Ricardo Wurmus <[email-masked]> skribis:

> Peter Baumgarten writes:
>
>> The OS was Fedora 21 x86_64, attached is the log
>
> This looks similar to this bug report:
> http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19780

#19780 is now closed, so I’m closing this bug as well (the fix is
currently in the ‘core-updates’ branch, which will be merged to ‘master’
in a few days, which will lead to 0.8.2 in a few weeks.)

Please let us know if the problem persists.

Thanks,
Ludo’.