>>> The patch was regtested on x86_64-unknown-linux-gnu. Ok for trunk?
>>>
>> The patch is basically OK.


> Otherwise I'll just start by committing the
> patch as posted ...

Just did so (r179520).

Cheers,
Janus

Reply via email to