From 935403ec4fd70304809be7571fe3a8916d9c625a Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Wed, 8 Feb 2023 14:45:19 +0100
Subject: [PATCH] chore(postal): count number of unreachables us

---
 src/Handler/Admin.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Handler/Admin.hs b/src/Handler/Admin.hs
index a0895774f..cadc13683 100644
--- a/src/Handler/Admin.hs
+++ b/src/Handler/Admin.hs
@@ -88,7 +88,7 @@ getProblemUnreachableR = do
     setTitleI   MsgProblemsUnreachableHeading
     [whamlet|
       <section>
-        _{MsgProblemsUnreachableBody}
+        #{length unreachables} _{MsgProblemsUnreachableBody}        
         <ul>
           $forall usr <- unreachables
             <li>