Hi Tobias,

> Build and regtested on x86-64-linux.
> OK for the trunk?

That looks like a neat way to solve the problem.  OK for trunk.

Thanks for the patch.

Paul

Reply via email to