(In reply to Franck Bui from comment #39) > (In reply to Tom���� Chv��tal from comment #38) > > I've merged the PR and added you as commiter :) > > This PR doesn't do what Martin suggested in comment #35 AFAICS. Ah, darn, well then first job martin can do is to run revert :P