Leo Famulari <leo@famulari.name> writes:

>> Anyway, this bug has been a massive pain and I'm going to merge it
>> tomorrow so I can get on with life. The 'master' jobset should be
>> started afterwards; perhaps you can merge and start the evaluation?
>
> Okay, let me know when you push the merge and I'll start the evaluation.

Merged! Closing this bug. Hooray!