Version bump for bugfix release
Merge branch 'release/1.4.2'
Merge tag '1.4.2' into develop

Bugfix release