$newline never

$# SPDX-FileCopyrightText: 2022 Sarah Vaupel <vaupel.sarah@campus.lmu.de>,Steffen Jost <jost@tcs.ifi.lmu.de>
$#
$# SPDX-License-Identifier: AGPL-3.0-or-later

_{MsgSubmissionsAssignUnauthorized numUnassignedUnauth}

<ul>
  $forall cID <- unassignedUnauth'
    <li><pre>#{toPathPiece cID}
