> Here is the new patch.  Does it look OK?

Assuming you can successfully build on e.g. x86-linux and x32-linux, this
looks OK to me, thanks for your efforts!

Arno

Reply via email to