[FYI] master merged into test-protocols, test-protocols into testsuite-work

[Stefano Lattarini]

I've merged master into test-protocols, marged test-protocols into
testsuite-work, and pushed.

Regards,
  Stefano