diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2018-09-02 21:52:09 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2018-09-02 21:52:09 +0200 |
commit | 6f21e67a895d80d038606c0626259b40ceb82bbd (patch) | |
tree | b5327687f040132c54c044af5f55f817940e9b76 | |
parent | 165119a0477a4bf0f61d5f49586d95ed556e87df (diff) |
view: Display severity.
-rw-r--r-- | mumi/web/view/html.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index a29ee44..d9b5b6e 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -283,6 +283,10 @@ supported. To comment on this conversation " ,(or (and=> (bug-owner bug) extract-name) "unassigned")) (div (@ (class "stat")) + (label "Severity") + ,(bug-severity bug)) + (div + (@ (class "stat")) (label "Status") ,(status-tag bug)))))))) |