eefc6b3a0d
This is already correctly done when we instansiate the cache, but wasn't when it got reloaded (which always happens at least once on startup). |
||
---|---|---|
.. | ||
.gitignore | ||
7578.bugfix | ||
7579.bugfix |