Skip to content
Snippets Groups Projects

Update theses.md

Failed
Michael Kohlhase created pipeline for commit f4c66670
, finished
For master
1 job 2 minutes 33 seconds, queued for 10 seconds