Actions
Bug #6147
closed
Incorrect fingerprint for XML_SPACE_TYPE
Start date:
2023-07-31
Due date:
% Done:
80%
Estimated time:
Legacy ID:
Applies to branch:
10, 11, 12, trunk
Fix Committed on Branch:
10, 11, 12, trunk
Description
In StandardNames.java, the fingerprint for XML_SPACE_TYPE is set to 6, when it should be XML + 6.
The bug is asymptomatic because, by chance, we don't use the fingerprint 6 for anything else.
Please register to edit this issue
Actions
.