Dear Tobias, > > The patch has been bootstrapped and regtested on x86-64-linux. > OK for the trunk? Absolutely OK! I though that you might even commit it as "obvious" since you, Janus and I discussed it :-) Cheers Paul