update: [MariaDB] updates

williamdes · Jan 7, 2023 · 8b1a2e7 · 8b1a2e7
1 parent 1c0ca16
commit 8b1a2e7
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 3 deletions.
diff --git a/data/variables/mariadb-xtradbinnodb-server-system-variables.json b/data/variables/mariadb-xtradbinnodb-server-system-variables.json
@@ -3060,9 +3060,6 @@
       "dynamic": false,
       "id": "innodb_undo_tablespaces",
       "name": "innodb_undo_tablespaces",
-      "range": {
-        "from": 0
-      },
       "scope": [
         "global"
       ],

diff --git a/dist/merged-raw.json b/dist/merged-raw.json
@@ -36817,6 +36817,10 @@
         "innodb_undo_tablespaces": {
             "cli": "--innodb-undo-tablespaces=#",
             "name": "innodb_undo_tablespaces",
+            "range": {
+                "from": 2,
+                "to": 127
+            },
             "scope": [
                 "global"
             ],

diff --git a/dist/merged-raw.md b/dist/merged-raw.md
@@ -30855,6 +30855,7 @@
 |Command line|`--innodb-undo-tablespaces=#`|
 |Type of variable|`integer`|
 |Scope|`global`|
+|Range|from: `2` to: `127`|
 
 ### Documentation(s)
 |source|anchor name|

diff --git a/dist/merged-slim.json b/dist/merged-slim.json
@@ -28588,6 +28588,10 @@
         "innodb_undo_tablespaces": {
             "cli": "--innodb-undo-tablespaces=#",
             "name": "innodb_undo_tablespaces",
+            "range": {
+                "from": 2,
+                "to": 127
+            },
             "scope": [
                 "global"
             ],