On Sat, 5 Dec 2015 03:18:07 -0200Diego Viola <diego.viola@gmail.com> wrote:> Ping?So you say, but this is the first I've seen of this patch. Please sendthe original and I'll apply it.Thanks,jon