Merge branch 'release-v42r11p2' into '2017-patches'

Release notes for v42r11p2

See merge request !565
1 job for v42r11p2 in 27 seconds (queued for 8 seconds)
latest
Status Name Job ID Coverage
  Test
passed check-copyright #15123452

00:00:27