Andreas J. Koenig wrote:
Excellent. So the bug was clearly in the indexer and I squashed it
yesterday evening. It seems the index is now repaired and the issue
can be closed, mentally.

Thanks!

Reply via email to