diff --git a/repos/os/src/init/config.xsd b/repos/os/src/init/config.xsd index 352fc1decd..f3c5261901 100644 --- a/repos/os/src/init/config.xsd +++ b/repos/os/src/init/config.xsd @@ -138,6 +138,7 @@ +