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

Release notes and dependencies for v42r10 release

See merge request !459
1 job for v42r10 in 19 seconds
latest
Status Name Job ID Coverage
  Test
passed check-copyright #10688752

00:00:19