-
Emmanuele Bassi authored
The position attributes on a <doc> element are not mandatory, so we should have some fallback value if they are missing. Fixes: #252
b20b7194
The position attributes on a <doc> element are not mandatory, so we should have some fallback value if they are missing. Fixes: #252