event git update #16

Manually merged
muellerr merged 2 commits from event/git-update into mueller/master 2020-08-28 17:58:45 +02:00

2 Commits

Author SHA1 Message Date
Robin Müller b71cab3993 integrated all changes 2020-08-28 17:55:13 +02:00
Robin Müller e800aad979 event git update 2020-08-28 17:44:10 +02:00