Merge branch 'dev-cloud' into 'master'

Dev cloud See merge request !7
3 jobs from master in 2 minutes 0 seconds (queued for 13 minutes 58 seconds)
Status Job ID Name Coverage
  Install
manual #140064
civ_base allowed to fail manual
install
 
  Package
passed #140065
civ_base allowed to fail manual
package

01:16

 
  Push
passed #140066
civ_base allowed to fail manual
push

00:43