On 01/06/2017 17:48, Andrew Jones wrote: > This is RFC-ish. There shouldn't be any functional change, and the > value of the diff stats are debatable, but I figured that I already did > the work, so I might as well post and let Paolo and Radim decide. Actually I was going to ask you about this or do it. So thanks---though I'll let Radim look at the patches, because it's almost long weekend time. :) Thanks, Paolo
