Merge branch 'develop' of...

Merge branch 'develop' of git.rwth-aachen.de:monticore/EmbeddedMontiArc/languages/CNNTrainLang into develop
2 jobs for develop in 10 minutes and 25 seconds (queued for 1 second)
Status Job ID Name Coverage
  Windows
passed #604352
Windows10_OS
masterJobWindows

00:06:20

 
  Linux
passed #604353
BranchJobLinux

00:04:04