Closed mbakeranalecta closed 6 years ago
It should be. Most versions don't use it, but duplicated IDs could occur inside a block, not just on the block itself.
Fixed somewhere before 3e9b8f6fd8cddf9cbedb25c44ab48323216ce71e.
It should be. Most versions don't use it, but duplicated IDs could occur inside a block, not just on the block itself.