Merge branch '9-dev' of ssh://gitlab.openmole.org:20022/openmole/openmole into 9-dev

1 job for 9-dev in 18 minutes and 16 seconds
Status Name Job ID Coverage
  Assemble
passed assemble #412

00:18:16