html: Replace "patch" with "issue".

diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm
index b474a328233355c51e531ea1930eb2534c90d9d5..aa5479cc62ecb62589620030b85cb4119d60d6d7 100644 (file)
--- a/mumi/web/view/html.scm
+++ b/mumi/web/view/html.scm
@@ -273,8 +273,9 @@ some examples.")
    #:body
    `(,(header)
      (div (@ (class "container"))
-          (h1 "Patch not found")
-          (p "There is no submission with id " (strong ,id))
+          (h1 "Issue not found")
+          (p "There is no submission with id " (strong ,id) ", or we
+failed to process associated messages.")
           (p (a (@ (href "/")) "Try another one?"))))))
 
 (define (error-page message)