On 12-06-2018 11:00 PM, James Almer wrote: >> Is that correct? >> >> I assume the other changes can be committed as-is. > > Yes, that should do it. Revised and pushed. Thanks, Gyan