Merge branch 'release_v42r11' into '2017-patches'

release notes for v42r11

See merge request !524
1 job for v42r11 in 27 seconds
latest
Status Name Job ID Coverage
  Test
passed check-copyright #13380391

00:00:27