diff --git a/misc/config_tools/schema/config.xsd b/misc/config_tools/schema/config.xsd index ce42eb186..e9a374c60 100644 --- a/misc/config_tools/schema/config.xsd +++ b/misc/config_tools/schema/config.xsd @@ -150,6 +150,7 @@ Machine Check Error on Page Size Change. +