From: Tim Düsterhus Date: Fri, 5 Aug 2022 12:08:57 +0000 (+0200) Subject: Merge pull request #4925 from WoltLab/cleanup-search-index-manager X-Git-Tag: 6.0.0_Alpha_1~1075 X-Git-Url: https://git.stricted.de/?a=commitdiff_plain;h=432324dac9897b1b4f051a166dc166ce6dae7723;p=GitHub%2FWoltLab%2FWCF.git Merge pull request #4925 from WoltLab/cleanup-search-index-manager Clean up SearchIndexManager --- 432324dac9897b1b4f051a166dc166ce6dae7723