Merge branch 'mquat2' of git-st.inf.tu-dresden.de:johannes.mey/relast into mquat2
Passed
Johannes Mey
created pipeline for commit
ff493449
, finished
51 seconds, queued for 0 seconds