diff --git a/doc/versions.inc b/doc/versions.inc index 04c266605e..2ac11e8ae1 100644 --- a/doc/versions.inc +++ b/doc/versions.inc @@ -35,6 +35,7 @@ $features_510 = "