Jan> feel free to revert/modify/etc., I just thought it is OK for commit.
Definitely; thanks for doing that.
I looked at the diff yesterday and there were some minor things (decl
reordering and whitespace changes) that I think we should also sync with
master... that way it will be more clear what remains to upstream.
I'll do that now if they are still there.
Tom