Merge branch 'develop' of...

Merge branch 'develop' of git.rwth-aachen.de:monticore/EmbeddedMontiArc/languages/CNNArchLang into develop
2 jobs for develop in 19 minutes and 56 seconds (queued for 1 second)
Status Name Job ID Coverage
  Windows
passed masterJobWindows #594647
Windows10

00:12:33

 
  Linux
passed BranchJobLinux #594648

00:07:23