Skip to content

A few more primitive to SyncView.#2090

Merged
jhjourdan merged 1 commit intomasterfrom
refactor_syncview
May 5, 2026
Merged

A few more primitive to SyncView.#2090
jhjourdan merged 1 commit intomasterfrom
refactor_syncview

Conversation

@jhjourdan
Copy link
Copy Markdown
Collaborator

Also remove AtView::view, which was unsound.

Also remove AtView::view, which was unsound.
@jhjourdan jhjourdan enabled auto-merge May 5, 2026 11:02
@jhjourdan jhjourdan merged commit 8f9fb82 into master May 5, 2026
9 checks passed
@jhjourdan jhjourdan deleted the refactor_syncview branch May 5, 2026 11:12
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.

1 participant