Merge branch 'v0.7.1' into 'master'

Updated version number.

See merge request !73
2 jobs for v0.7.1 in 23 seconds (queued for 1 second)
latest
Status Name Job ID Coverage
  Release
manual release #987823
allowed to fail manual
passed release_version #987824

00:00:23