Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
dynamically updating index.gc_deletes not working #3396
It seems that dynamically changing
It is only ever modified after a previous info log:
This line never gets logged though.
Reopening the index works as expected.