Pedro Alves wrote: > On 06/03/2013 05:37 PM, Jan Kratochvil wrote: > > On Fri, 31 May 2013 15:22:06 +0200, Gary Benson wrote: > > > Revised patch attached. > > > > I am fine with check-in of your whole updated patchset. > > FAOD, so am I. Thanks Jan, Pedro, I will commit it shortly. Gary -- http://gbenson.net/