Merge branch 'hotfix/0.7.1'
fix an issue of tagging solutions
Merge branch 'hotfix/0.7.2' into develop