diff --git a/docs/schemas/domain.rng b/docs/schemas/domain.rng index fb44335395..08ebefbec1 100644 --- a/docs/schemas/domain.rng +++ b/docs/schemas/domain.rng @@ -1745,6 +1745,8 @@ + +