Leo Famulari writes: > On Sun, Dec 18, 2016 at 12:47:59AM +0100, Marius Bakke wrote: >> Whoops. Fixed in 7b6ff42aa3cf9398213d3c1f0e5f87c45a9730df. > > Thanks! I started a new evaluation. Looks like this one timed out: https://hydra.gnu.org/jobset/gnu/python-tests#tabs-errors