Skip to content

Sync with the ultimate master#1147

Merged
Eugene Auduchinok (auduchinok) merged 2 commits into
mainfrom
plugins-sync/merge-robot-ultimate-master-2026-05-29
May 29, 2026
Merged

Sync with the ultimate master#1147
Eugene Auduchinok (auduchinok) merged 2 commits into
mainfrom
plugins-sync/merge-robot-ultimate-master-2026-05-29

Conversation

@jetbrains-net-syncer
Copy link
Copy Markdown

Sync with the ultimate master.

Alexander Ulitin added 2 commits May 29, 2026 06:25
GitOrigin-RevId: 91fd2891cfcae1c468234ba27fede6d66ee99ffe
GitOrigin-RevId: 4fbcfb247c1c4d33eacaed407baec04b8428a7d5
@auduchinok Eugene Auduchinok (auduchinok) merged commit 96481da into main May 29, 2026
1 check passed
@auduchinok Eugene Auduchinok (auduchinok) deleted the plugins-sync/merge-robot-ultimate-master-2026-05-29 branch May 29, 2026 06:39
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