On Fri, Mar 03, 2017 at 05:52:34PM +0100, Marius Bakke wrote:
> 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!

Thank you for working on this!