Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: UI state re-sync mechanism #3998

Merged
merged 8 commits into from
Dec 23, 2024
Merged

feat: UI state re-sync mechanism #3998

merged 8 commits into from
Dec 23, 2024

Conversation

mshabarov
Copy link
Contributor

Fixes #3822

@github-actions github-actions bot added the Language unchecked English language and AsciiDoc formatting checks haven't been done label Dec 11, 2024
@mshabarov mshabarov requested a review from caalador December 11, 2024 14:19
@russelljtdyer russelljtdyer added Language checking English language and AsciiDoc formatting checking is in progress and removed Language unchecked English language and AsciiDoc formatting checks haven't been done labels Dec 23, 2024
@russelljtdyer russelljtdyer added Language checked English language and AsciiDoc formatting checks done and removed Language checking English language and AsciiDoc formatting checking is in progress labels Dec 23, 2024
@russelljtdyer russelljtdyer merged commit 2be7d0a into latest Dec 23, 2024
3 of 4 checks passed
@russelljtdyer russelljtdyer deleted the resync-docs branch December 23, 2024 08:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Language checked English language and AsciiDoc formatting checks done
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Document Vaadin's resync mechanism better
3 participants