bug#19934: Failed run of make check

[Ludovic Courtès]

Ricardo Wurmus <address@hidden> 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’.