Dear Tobias,

> Build and regtested on x86-64-linux (trunk and trunk + Paul's patch).
> OK?

Many thanks for the patch - it's OK for trunk.

Cheers

Paul

Reply via email to