* Renamed repository name
* Set version number for 1.4.2
Merge branch 'release/1.4.2' into develop