On Sunday 20 January 2013 at 16:11:54, Michael Jansen wrote: > How about we make all of them happy? Your patch looks like the correct fix, can we please get this committed? Kevin Kofler