Merge branch 'master' of git.se.informatik.uni-kiel.de:she/theodolite into modify-patcher-signatur
Related merge request !265 to merge modify-patcher-signatur
merge request
16 jobs
8 minutes 2 seconds, queued for 2 seconds