On 12/11/11 16:51, Mike Stump wrote: > On Dec 9, 2011, at 11:45 AM, Aldy Hernandez wrote: >> How about the patch below? > > I'm fine with whatever you guys come up with... Likewise. I have no preference. Whatever gets approved is ok with me.