On 01/17/2018 06:29 PM, Cesar Philippidis wrote: > Is this patch OK for trunk? You haven't made the changes I've asked for, this is the same patch as before. Thanks, - Tom