On 06/21/2016 11:09 AM, Richard Henderson wrote: > Twice, the sourceware spam filter has rejected this patch, > so I'm compressing and attaching it. This looks good to me. Thanks for updating this from the gabi. -- Cheers, Carlos.