diff options
| author | Anel Husakovic <anel@mariadb.org> | 2019-04-12 01:21:11 -0700 |
|---|---|---|
| committer | Sergei Golubchik <serg@mariadb.org> | 2019-04-24 16:06:54 +0200 |
| commit | bed1ede197cecca633023bf19248533fae085130 (patch) | |
| tree | 39abd7ca743fd4f47079adfbf0006fea1200acc9 /Docs | |
| parent | 9ca3571cb881f271ffc3fd97480052e858f21f61 (diff) | |
| download | mariadb-git-bed1ede197cecca633023bf19248533fae085130.tar.gz | |
MDEV-19015: mysql_plugin doesn't read all server option groups
Closes #1262
Diffstat (limited to 'Docs')
0 files changed, 0 insertions, 0 deletions