Skip to content

Sync with the ultimate master#1154

Merged
Eugene Auduchinok (auduchinok) merged 1 commit into
mainfrom
plugins-sync/merge-robot-ultimate-master-2026-06-07
Jun 7, 2026
Merged

Sync with the ultimate master#1154
Eugene Auduchinok (auduchinok) merged 1 commit into
mainfrom
plugins-sync/merge-robot-ultimate-master-2026-06-07

Conversation

@jetbrains-net-syncer
Copy link
Copy Markdown

Sync with the ultimate master.

GitOrigin-RevId: b03b2f52f287e4ff4da349b37257f03508fa488a
@auduchinok Eugene Auduchinok (auduchinok) merged commit 4298c52 into main Jun 7, 2026
1 check passed
@auduchinok Eugene Auduchinok (auduchinok) deleted the plugins-sync/merge-robot-ultimate-master-2026-06-07 branch June 7, 2026 10:41
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