Hi Tobias,
> > Build and regtested on x86-64-gnu-linux. > OK for the trunk? Yes, of course it's OK for trunk. It verges on obvious! Thanks Paul
Hi Tobias,
> > Build and regtested on x86-64-gnu-linux. > OK for the trunk? Yes, of course it's OK for trunk. It verges on obvious! Thanks Paul