On 2015-01-21 08:30, Anton Lundin wrote: > On 08 January, 2015 - Anton Lundin wrote: > I still would argue for that a patch like this makes sense. Do you > disagree? No, I just forgot to apply the patch. Done now! Jef