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) ". " |