Commit 203ff366 authored by Maren Kaluza's avatar Maren Kaluza

Merge branch 'develop' into 'develop'

BUGFIX: domainID not set correctly for mRM if restart is activated

See merge request !30
parents 6008fc4c 5afec545
Pipeline #3012 passed with stages
in 23 minutes and 6 seconds