Merge current pull requests
Created by: yngwi
Due to conflicts it was necessary to merge the recent pull requests manuall.
Aufgrund eines wichtigen Updates wird GitLab am Montag, den 03.02., ab 9:00 Uhr, für voraussichtlich zwei Stunden nicht zur Verfügung stehen - Ihr ZIM
Created by: yngwi
Due to conflicts it was necessary to merge the recent pull requests manuall.