Inkompatibles Element Progress auf Stand SIRI zurücksetzen#8

Open

kgrimme wants to merge 3 commits intointegrationfrom

revert_incompatible_progress

Commits on Dec 13, 2019

revert of mandatory progress to reduce incompatiblities with original SIRI
kgrimme
committed
Merge branch 'integration' into revert_incompatible_progress
kgrimme
authored

Commits on Mar 12, 2020

Merge branch 'integration' into revert_incompatible_progress
kgrimme
authored