Re: Index files are not used in the session where they were created

Dmitry Neverov via Gdb
2023-11-06T10:42:28Z

> I think it would be good to have a separate bug for your case though.

I investigated it in the scope of
https://sourceware.org/bugzilla/show_bug.cgi?id=30520.
Should I still file a dedicated issue?