Dear Tobias,

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

That's OK for trunk - thanks!

Paul

Reply via email to