On Monday, 11 February 2013 at 06:05:09 UTC, Kai Nacke wrote: > I think I have a working solution now - I fixed PR 14779. :-) That's of course the best kind of solution... ;) David