$newline never

$# SPDX-FileCopyrightText: 2022 Gregor Kleen <gregor.kleen@ifi.lmu.de>
$#
$# SPDX-License-Identifier: AGPL-3.0-or-later

_{MsgSubmissionsAlreadyAssigned (genericLength alreadyAssigned')}

<ul>
  $forall (cID, _) <- alreadyAssigned'
    <li><pre>#{toPathPiece cID}
