Open
Description
At the moment, when one changes the configuration file, the server will not reload it, and thus when rebuilding the index it can revert libraries or other configuration.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests