diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng index 273715ced2..8798001d7d 100644 --- a/docs/schemas/domaincommon.rng +++ b/docs/schemas/domaincommon.rng @@ -2622,10 +2622,7 @@