On Tue, Nov 04, 2014 at 10:01:05AM +0100, Robert Helling wrote: > > I think these two patches have not yet been applied. Sorry about that. I like the first one, the second one is marginal but it should have no negative impact, so I took it. It didn't apply but was easy to fix. Still, please double check. /D