On Fri, Apr 14, 2017 at 1:19 PM, James Darnley <jdarnley at obe.tv> wrote: > Do you want me to change this patch to add that? Either the same patch or a different one, pick whichever is most convenient for you.