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)
commit7ffd4b73702a9e525583e241c27a3a3455984286
tree1a7d6dafd16bdadcdd2ef2aa7bd1ca658d48eae8
parent8978022c2006a1000fa97233d9aa8ae83ef29951
parent2b6662dba051386343b1400865c5ab7bb7f15783
Merge pull request #4271 from WoltLab/mysql-search-index-deprecated

Make MysqlSearchIndexManager implement set()