Hi,

tested x86_64-linux, committed mainline and 4_2-branch.

Paolo.

//////////////