diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 18:12:02 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 18:12:02 +0200 |
| commit | e4b0a7d7585fd40f1a7bd0d3f5a503d6a1b410a4 (patch) | |
| tree | a1219f81d9e5ac907b018a32fa5d1a26d72312f3 | |
| parent | 27976361220917d05144fa95a07a522f3700327d (diff) | |
html: Replace "patch" with "issue".
| -rw-r--r-- | mumi/web/view/html.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index b474a32..aa5479c 100644 --- 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) |