Merge pull request #4925 from WoltLab/cleanup-search-index-manager
authorTim Düsterhus <duesterhus@woltlab.com>
Fri, 5 Aug 2022 12:08:57 +0000 (14:08 +0200)
committerGitHub <noreply@github.com>
Fri, 5 Aug 2022 12:08:57 +0000 (14:08 +0200)
Clean up SearchIndexManager


Trivial merge