diff --git a/index.html b/index.html old mode 100644 new mode 100755 index 6c0cc5b..874376c --- a/index.html +++ b/index.html @@ -2540,9 +2540,43 @@

-
+
+

Summary of substantive changes

+
+

Changes since the First Public Working Draft (2022/12/20)

+
+
+