-
Andreas Brandl authored
The reindexing process can leave behind temporary indexes, although that is expected to be a rare event. We guard against picking up those temporary indexes for reindexing, because those should not exist in the first place.
4d761683