diff --git a/cis/private/lehre/benotungstool/verwaltung_listen.php b/cis/private/lehre/benotungstool/verwaltung_listen.php index 1bf542e6f..3d5fb1c3c 100644 --- a/cis/private/lehre/benotungstool/verwaltung_listen.php +++ b/cis/private/lehre/benotungstool/verwaltung_listen.php @@ -830,11 +830,14 @@ if(isset($_GET["uebung_id"]) && $_GET["uebung_id"]!='')