Marius Bakke writes: > Leo Famulari writes: > >> On Tue, Feb 28, 2017 at 05:15:59PM +0100, Marius Bakke wrote: >>> It seems the evaluation timed out. Can you give it another go? >> >> Done! > > Aaand hydra is out of disk space. :( This branch diverges quite a bit from master due to the 'python-build-system' change. I would recommend building out this branch and merge it before restarting 'master' after GC. The mirror have most master substitutes cached anyway.