On 12 January 2016 at 20:38, Daniel Krügler wrote: > Ping - this is a tentative reminder for this patch proposal. I was just about to commit it an hour ago and my machine crashed. It's done now.