Merge branch 'master' of...

Merge branch 'master' of git.rwth-aachen.de:monticore/EmbeddedMontiArc/languages/CNNArchLang into develop
1 job for develop in 9 minutes and 53 seconds
Status Job ID Name Coverage
  Linux
passed #759173
BranchJobLinux

00:09:53