Skip to content

md: shareable file cache#4282

Merged
tvanderstad merged 1 commit intomasterfrom
shared-file-cache
Mar 21, 2026
Merged

md: shareable file cache#4282
tvanderstad merged 1 commit intomasterfrom
shared-file-cache

Conversation

@tvanderstad
Copy link
Copy Markdown
Contributor

This puts workspace's file cache in an Arc<RwLock<_>> so it can be shared e.g. with the editor

@tvanderstad tvanderstad merged commit 86c67cc into master Mar 21, 2026
1 check passed
@tvanderstad tvanderstad deleted the shared-file-cache branch March 21, 2026 02:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant