Skip to content

Conversation

@stanislaw
Copy link
Collaborator

This resolves a very old FIXME and improves the performance of opening source files for the first time when a server is just restarted.

@stanislaw stanislaw added this to the 2025-Q4 milestone Oct 20, 2025
@stanislaw stanislaw force-pushed the stanislaw/server branch 2 times, most recently from c82fcc9 to 0eeef5b Compare October 21, 2025 09:33
…all source files

This resolves a very old FIXME and improves the performance of opening source
files for the first time when a server is just restarted.
@stanislaw stanislaw merged commit 535c2a7 into main Oct 21, 2025
38 of 42 checks passed
@stanislaw stanislaw deleted the stanislaw/server branch October 21, 2025 10:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants