From 1f025c21f7f91a69bb5f64174cd93add4e8cad46 Mon Sep 17 00:00:00 2001 From: Stefan Peters Date: Fri, 21 Apr 2023 09:15:36 +0200 Subject: [PATCH] Fix config JSON schema for #194 --- config/config.schema.json | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/config/config.schema.json b/config/config.schema.json index 45edf24..90df64b 100644 --- a/config/config.schema.json +++ b/config/config.schema.json @@ -429,7 +429,14 @@ ] }, "mismatchTagVocabulary": { - "type": "object" + "anyOf": [ + { + "type": "null" + }, + { + "type": "object" + } + ] } } },