Subject: Re: bug#19934: Failed run of make check

From: [email-masked] (Ludovic Courtès)
Date: Thu, 26 Feb 2015 19:17:08 +0100

Hi,

Could you try the fix proposed at
<http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19780#77>?

Thanks,
Ludo’.