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
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