diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng index 8d126065e3335afaa5a7e1b4ec0ebb793d9cea95..4804c692e2107ced6887ae6d6c94ec3f0c8c07c3 100644 --- a/docs/schemas/domaincommon.rng +++ b/docs/schemas/domaincommon.rng @@ -5218,9 +5218,7 @@ - - [0-9]+ - +