Merge branch 'master' into develop
Replaced the deprecated APIs of quint
Updated the version number