From e27f88987670bc52d38d38fe1262f6af2a79f0a9 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Apr 2021 16:41:39 +0100
Subject: [PATCH] html: Format u64 too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 base/html.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/html.rs b/base/html.rs
index caff21c7..4af4d2b4 100644
--- a/base/html.rs
+++ b/base/html.rs
@@ -171,7 +171,7 @@ impl<'e> HtmlFormat<'e> for String {
   }
 }
 
-hformat_as_display!{ usize u32
+hformat_as_display!{ usize u32 u64
                      isize i32 i64
                      f32 f64 }
 
-- 
2.30.2