diff --git a/doc/install-requirements.xml b/doc/install-requirements.xml index 42657683..21138c71 100644 --- a/doc/install-requirements.xml +++ b/doc/install-requirements.xml @@ -128,6 +128,9 @@ 9.4, 9.5, 9.6, 10, 11, 12, 13, 15 + +   +