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

Sync with the ultimate master #732

Merged

Conversation

net-jetbot[bot]
Copy link

@net-jetbot net-jetbot bot commented Oct 9, 2024

Sync with the ultimate master.

Ilia Kirianovskii and others added 4 commits October 9, 2024 06:25
GitOrigin-RevId: acb6f7201ee7f8c92e7d8485fa80ae5fb51a4fab
GitOrigin-RevId: 78ac1a5f1988149ff5e759bbbf29d8dbb744719e
GitOrigin-RevId: e396cf607865652125a2c85746cbc73909f9f6f8
GitOrigin-RevId: db4bc5e669ebd999c491e67f83d6d424a7feeeb6
@auduchinok auduchinok merged commit f2de277 into main Oct 9, 2024
1 check passed
@auduchinok auduchinok deleted the plugins-sync/merge-robot-ultimate-master-2024-10-09 branch October 9, 2024 09:21
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.

2 participants