On Tue, May 6, 2014 at 2:20 PM, Dirk Hohndel <dirk at hohndel.org> wrote: > > I keep trying to reproduce this and cannot. Yeah, me neither. Miika, did you make sure to check current -git that had the two commits by Dirk? Linus