Merge branch 'release/1.4.2' into 'master'

Release/1.4.2

See merge request !75
2 jobs for develop in 3 minutes and 29 seconds
latest
Status Job ID Name Coverage
  Build
passed #140800770
build

00:01:35

 
  Test
passed #140800771
test

00:01:53