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)
commit432324dac9897b1b4f051a166dc166ce6dae7723
tree2ee7cd9952fd7ff6b948f89ae070751eb4f965a4
parent2717cfcdcef9ee5603792555a841df141ee243c0
parentdb4325a863919ee1eea073b8ab8ac1fab377584e
Merge pull request #4925 from WoltLab/cleanup-search-index-manager

Clean up SearchIndexManager