From 75cd95060fb1ea7586f0e4b9081694c6d61f1d3b Mon Sep 17 00:00:00 2001
From: Andy Wingo <wingo@pobox.com>
Date: Thu, 2 Nov 2023 11:31:32 +0100
Subject: [PATCH] Update set of decimal zeroes for Unicode 15.1.0

* module/scheme/char.scm (*decimal-zeroes*): Update.
---
 module/scheme/char.scm | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/module/scheme/char.scm b/module/scheme/char.scm
index b5251fae5..183fda499 100644
--- a/module/scheme/char.scm
+++ b/module/scheme/char.scm
@@ -1,5 +1,5 @@
 ;;; R7RS compatibility libraries
-;;; Copyright (C) 2019 Free Software Foundation, Inc.
+;;; Copyright (C) 2019, 2023 Free Software Foundation, Inc.
 ;;;
 ;;; This library is free software: you can redistribute it and/or modify
 ;;; it under the terms of the GNU Lesser General Public License as
@@ -54,7 +54,7 @@
 
 ;; The table can be extracted with:
 ;; awk -F ';' '/ZERO;Nd/ {print "#x"$1}' UnicodeData.txt
-;; Up to date with Unicode 11.0.0
+;; Up to date with Unicode 15.1.0
 
 (define *decimal-zeroes* '#(#x0030 #x0660 #x06F0 #x07C0 #x0966 #x09E6
   #x0A66 #x0AE6 #x0B66 #x0BE6 #x0C66 #x0CE6 #x0D66 #x0DE6 #x0E50
@@ -62,8 +62,9 @@
   #x1A90 #x1B50 #x1BB0 #x1C40 #x1C50 #xA620 #xA8D0 #xA900 #xA9D0
   #xA9F0 #xAA50 #xABF0 #xFF10 #x104A0 #x10D30 #x11066 #x110F0 #x11136
   #x111D0 #x112F0 #x11450 #x114D0 #x11650 #x116C0 #x11730 #x118E0
-  #x11C50 #x11D50 #x11DA0 #x16A60 #x16B50 #x1D7CE #x1D7D8 #x1D7E2
-  #x1D7EC #x1D7F6 #x1E950))
+  #x11950 #x11C50 #x11D50 #x11DA0 #x11F50 #x16A60 #x16AC0 #x16B50
+  #x1D7CE #x1D7D8 #x1D7E2 #x1D7EC #x1D7F6 #x1E140 #x1E2F0 #x1E4F0
+  #x1E950 #x1FBF0))
 
 (define (digit-value char)
   (define (cmp zero ch)