Charles Baylis <[email protected]> writes: > On 19 May 2014 19:07, Richard Sandiford <[email protected]> wrote: >> >> Sorry for the breakage. I wanted to make the script as picky as I could >> get away with though, so that results aren't lost accidentally. >> >> Could you try the attached? > > That works for me.
Thanks. I also tested it on x86_64-linux-gnu. Applied as obvious (I hope). Richard
