On Mon, Oct 12, 2015 at 01:05:48PM +0100, Barak A. Pearlmutter wrote: > Could I trouble you for your patch that fixes this?
I don't have a patch that fixes this. Like I wrote in my bug, I had a quick hack, but this is now more than a year since, and I don't have it anymore. /* Steinar */ -- Homepage: http://www.sesse.net/
