make check bot has paused for a few hours today

[Loic Dachary]

Hi,

All in the title ;-) The master branch had troubles and the make check bot was 
paused while it was fixed to avoid sending false negative.

Cheers

-- 
Loïc Dachary, Artisan Logiciel Libre

signature.asc
Description: OpenPGP digital signature