Merge pull request #13546 from miska/maria-cleanup-update
authorRosen Penev <rosenp@gmail.com>
Sat, 3 Oct 2020 23:09:29 +0000 (16:09 -0700)
committerGitHub <noreply@github.com>
Sat, 3 Oct 2020 23:09:29 +0000 (16:09 -0700)
commit81f6d680a232a773383ef5865e60bcb66d5c047c
tree1b502591bc1dc474c758da77c39fdc3d5293d734
parent54063a94306c134d76fd75cc27494c2abc78daae
parent59a9d8dba8f10d43991f110522171b47443bdd68
Merge pull request #13546 from miska/maria-cleanup-update

MariaDB: cleanup & update