Merge branch 'master' of git8.cs.fau.de:inf8_staff/TexCommon

1 job for master in 28 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed compile_latex #189954

00:00:28

100.0%