html: Replace "patch" with "issue".
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:12:02 +0000 (18:12 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:12:02 +0000 (18:12 +0200)
mumi/web/view/html.scm

index b474a328233355c51e531ea1930eb2534c90d9d5..aa5479cc62ecb62589620030b85cb4119d60d6d7 100644 (file)
@@ -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)