MariaDB10.2.20を使用していますが、これを10.2.19へ戻したいです。
年末にyum clearもやってしまって、downgradeオプションが使えないようです。
一度MariaDBを丸ごとアンインストールするしかないのでしょうか?