GenerateEnums

unicode-org · Oct 4, 2023 · 57c0d31 · 57c0d31
1 parent 5b7dd8f
commit 57c0d31
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/unicodetools/src/main/java/org/unicode/props/UcdPropertyValues.java b/unicodetools/src/main/java/org/unicode/props/UcdPropertyValues.java
@@ -62,7 +62,8 @@ public enum Age_Values implements Named {
         V12_0("12.0"),
         V12_1("12.1"),
         V13_0("13.0"),
-        V13_1("13.1"),
+        V13_1("13.1"), // TODO: there is no Unicode 13.1, see
+        // https://github.com/unicode-org/unicodetools/issues/100
         V14_0("14.0"),
         V15_0("15.0"),
         V15_1("15.1"),