There will be many spurious failures reported by the automated GMP testing system in the next days. This is caused by construction work. http://gmplib.org/devel/tm-date.html The goal is to test both static and dynamic builds for every config. We're getting rid of cron initiated testing too, in favour of a centralised system. -- Torbjörn