From 7957bb9b585ee4d449840f33da78e1e59a9143a1 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 3 Nov 2023 03:16:20 -0400 Subject: [PATCH] index.html.in: add meta-charset element Without this, the unicode right-arrow doesn't show up on android. (If we try to outsmart it with an XML entity reference, our minimization pipeline deletes the entity reference and puts the arrow back. Thanks for that.) --- index.html.in | 1 + 1 file changed, 1 insertion(+) diff --git a/index.html.in b/index.html.in index 411dc47..e2c362c 100644 --- a/index.html.in +++ b/index.html.in @@ -1,6 +1,7 @@ + -- 2.43.2