Merge remote-tracking branch 'origin/patch'

This commit is contained in:
Ryan Kurtz 2023-06-12 17:31:34 -04:00
commit 25b68748ae
15 changed files with 112 additions and 18 deletions

View file

@ -422,5 +422,6 @@ public record ElementId(String name, int id) {
new ElementId("command_getuseropname", COMMAND_GETUSEROPNAME);
public static final ElementId ELEM_SPLITDATATYPE = new ElementId("splitdatatype", 270);
public static final ElementId ELEM_UNKNOWN = new ElementId("XMLunknown", 271);
public static final ElementId ELEM_JUMPTABLEMAX = new ElementId("jumptablemax", 271);
public static final ElementId ELEM_UNKNOWN = new ElementId("XMLunknown", 272);
}