$newline never

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


_{MsgCorrectionInvisibleWarning}

$if not (null reasons)
  <br />
  _{MsgCorrectionInvisibleReasons}
  <ul>
    $forall reason <- reasons
      <li>_{reason}
