Merge pull request #4271 from WoltLab/mysql-search-index-deprecated
authorTim Düsterhus <duesterhus@woltlab.com>
Tue, 8 Jun 2021 15:22:40 +0000 (17:22 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Jun 2021 15:22:40 +0000 (17:22 +0200)
Make MysqlSearchIndexManager implement set()


Trivial merge