Aufgrund einer Wartung wird GitLab am 29.10. zwischen 9:00 und 10:00 Uhr kurzzeitig nicht zur Verfügung stehen. / Due to maintenance, GitLab will be temporarily unavailable on 29.10. between 9:00 and 10:00 am.

Merge branch 'master' into 'mqtt'

# Conflicts:
#   src/main/java/de/monticore/lang/embeddedmontiarc/tagging/middleware/mqtt/MqttConnectionSymbol.java
1 job for mqtt in 2 minutes and 41 seconds
Status Job ID Name Coverage
  Test
passed #446226
BranchJob

00:02:41