OK. After updating and using your changes, it works locally and on Jenkins, as far as I can tell. Let's merge this. If we stumble across this again, we can do something more fancy.
« Back to merge proposal
OK. After updating and using your changes, it works locally and on Jenkins, as far as I can tell. Let's merge this. If we stumble across this again, we can do something more fancy.