projects
/
software
/
mumi.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2797636
)
html: Replace "patch" with "issue".
author
Ricardo Wurmus
<rekado@elephly.net>
Wed, 22 Apr 2020 16:12:02 +0000
(18:12 +0200)
committer
Ricardo Wurmus
<rekado@elephly.net>
Wed, 22 Apr 2020 16:12:02 +0000
(18:12 +0200)
mumi/web/view/html.scm
patch
|
blob
|
history
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)