Merge branch 'master' of...

Merge branch 'master' of git.rwth-aachen.de:monticore/EmbeddedMontiArc/languages/CNNTrainLang into develop
1 job for develop in 4 minutes and 23 seconds (queued for 1 second)
Status Name Job ID Coverage
  Linux
passed BranchJobLinux #759169

00:04:23