chore(postal): count number of unreachables us

This commit is contained in:
Steffen Jost 2023-02-08 14:45:19 +01:00
parent 9fafb0b7c3
commit 935403ec4f

View File

@ -88,7 +88,7 @@ getProblemUnreachableR = do
setTitleI MsgProblemsUnreachableHeading setTitleI MsgProblemsUnreachableHeading
[whamlet| [whamlet|
<section> <section>
_{MsgProblemsUnreachableBody} #{length unreachables} _{MsgProblemsUnreachableBody}
<ul> <ul>
$forall usr <- unreachables $forall usr <- unreachables
<li> <li>