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

Release notes for v42r11p1

See merge request !548
1 job for v42r11p1 in 30 seconds
latest
Status Name Job ID Coverage
  Test
passed check-copyright #14403590

00:00:30