diff options
author | Oleksandr Byelkin <sanja@mariadb.com> | 2020-07-28 10:39:05 +0200 |
---|---|---|
committer | Oleksandr Byelkin <sanja@mariadb.com> | 2020-07-29 12:34:53 +0200 |
commit | 2107e3bb9c0d2e039c371a36fe7b3d7dcb2b6c5f (patch) | |
tree | 9b38a1486f8f7a2670ad8c2fc69665aaca43f9eb /randgen | |
parent | 8ec877f40a0e8e7432f1ef2cbd1d744c793eab2d (diff) | |
download | mariadb-git-2107e3bb9c0d2e039c371a36fe7b3d7dcb2b6c5f.tar.gz |
MDEV-21258: Can't uninstall plugin if the library file doesn't exist
Removing plugin from the mysql.plugin even if the plugin is not loaded
Diffstat (limited to 'randgen')
0 files changed, 0 insertions, 0 deletions