Justus Winter <4winter at informatik.uni-hamburg.de> writes: > @David: what do you think about merging this patch set? Yeah, unless I am convinced otherwise, I will merge for the next release candidate. d