release-v4.2.0

Federico Felici

@ffelici

f939685a · Add deployment stage and post-deploy tests · Jul 09, 2019

Renamed tag of first test of gitlab-deployed version (failed)