From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Apr 2021 15:41:39 +0000 (+0100)
Subject: html: Format u64 too
X-Git-Tag: otter-0.5.0~173
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=e27f88987670bc52d38d38fe1262f6af2a79f0a9;p=otter.git

html: Format u64 too

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

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 }