diff --git a/cis/private/lehre/pinboard.php b/cis/private/lehre/pinboard.php index c0da1e4af..83b9a73a1 100644 --- a/cis/private/lehre/pinboard.php +++ b/cis/private/lehre/pinboard.php @@ -402,7 +402,7 @@