Merge branch 'master' into rju-master-patch-57193
Failed
Reiner Jung
created pipeline for commit f308e498
, finished
1 related merge request: !32 Update bundles/org.oceandsl.declaration/src/org/oceandsl/declaration/Declaration.xtext
1 minute 2 seconds, queued for 2 seconds