diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 08:45:58 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 08:45:58 +0200 |
commit | 9265dcad4929c156a635648be213956385a4e781 (patch) | |
tree | 4311ce942ee59a0618e02cca4eff52cf7a19878f | |
parent | 25782ecca1dd18caf9b2d9cb12e1ae434b2e82a8 (diff) |
view/html: Mention alternative way of commenting.
-rw-r--r-- | mumi/web/view/html.scm | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index 8de7264..3c7fd0e 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -453,7 +453,15 @@ failed to process associated messages.") (@ (class "card-footer")) (button (@ (class "btn btn-primary") (type "submit")) - "Send")))) + "Send") + (span (@ (class "ml-3")) + "Your may also " + (a (@ (href ,(string-append "mailto:" + (number->string id) "@" (%config 'debbugs-domain) + "?subject=" (bug-subject* bug)))) + ,(string-append "send email to " + (number->string id) "@" (%config 'debbugs-domain))) + " to comment.")))) `((div (@ (class "card-header")) (div (@ (class "from")) |