Skip to content

repo sync#13763

Merged
Octomerger merged 2 commits intomainfrom
repo-sync
Jan 5, 2022
Merged

repo sync#13763
Octomerger merged 2 commits intomainfrom
repo-sync

Conversation

@Octomerger
Copy link
Copy Markdown
Contributor

This is an automated pull request to sync changes between the public and private repos.

🤖 This pull request should be merged (not squashed) to preserve continuity across repos, so please let a bot do the merging!

* Translate picker aria-label

* Use lang attribute
@Octomerger Octomerger requested a review from a team as a code owner January 5, 2022 23:49
@Octomerger Octomerger added the automated-reposync-pr Auto label for repo sync label Jan 5, 2022
@github-actions github-actions bot locked as spam and limited conversation to collaborators Jan 5, 2022
@Octomerger Octomerger enabled auto-merge January 5, 2022 23:49
@Octomerger Octomerger merged commit 685f9c9 into main Jan 5, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

automated-reposync-pr Auto label for repo sync

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants