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.

Sign up for GitHub

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

Jump to bottom

Await self_is_synced() #18772

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Await self_is_synced() #18772

wants to merge 1 commit into from
+1 −1

Conversation

emlowe
Copy link
Contributor

@emlowe emlowe commented Oct 25, 2024

Very small fix to await a function that's needs to be awaited

@emlowe emlowe requested a review from a team as a code owner October 25, 2024 21:12
@emlowe emlowe added Changed Required label for PR that categorizes merge commit message as "Changed" for changelog Exclude_Notes Use this label if the changes in the PR should be excluded from the release notes labels Oct 25, 2024
@emlowe emlowe requested a review from arvidn October 25, 2024 22:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Quexington Quexington Quexington approved these changes

@arvidn arvidn Awaiting requested review from arvidn

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
Changed Required label for PR that categorizes merge commit message as "Changed" for changelog Exclude_Notes Use this label if the changes in the PR should be excluded from the release notes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@emlowe @Quexington