Update of idc-index does not always work #64
Description
I tried to use the extension in 5.9, was notified about idc-index out of date, updated it, then was notified that I need to restart. After restart I am asked again to update idc-index!
{{ message }}