diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-08-28 23:31:14 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-08-28 23:31:14 +0200 |
| commit | c1eac74b154cfeb12199393fd9f039b7593786fd (patch) | |
| tree | 068158cd7011801b4db95059d81f4053ca2fea4d | |
| parent | 0c57ea2ee68fe9930304351797f2091199fafdbb (diff) | |
view: Fix type error.
| -rw-r--r-- | mumi/web/view/html.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index e6c429b..5b1a56d 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -301,7 +301,7 @@ supported. To comment on this conversation " #:body `(,(header) (div (@ (class "container")) - ,@(if (zero? bugs) + ,@(if (null? bugs) `((h1 "No issues found") (p "We could not find any issues matching your query " (code ,query) ". " |