Skip to content

Sync with the ultimate master#1148

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

Sync with the ultimate master#1148
Eugene Auduchinok (auduchinok) merged 4 commits into
mainfrom
plugins-sync/merge-robot-ultimate-master-2026-05-30

Conversation

@jetbrains-net-syncer
Copy link
Copy Markdown

Sync with the ultimate master.

GitOrigin-RevId: e06121c6ede60a8a21117326e43ac0c2648e375f
GitOrigin-RevId: 035112e3716d07bcfa6fa1272158ab73af31a79e
GitOrigin-RevId: cfa5cac98cdedbef1e2737b7c0e8e87cba20470a
…rison to isSystem call

GitOrigin-RevId: beccdef2c9d08d50b0084cab86d46e85daad17b7
@auduchinok Eugene Auduchinok (auduchinok) merged commit ca8c430 into main May 30, 2026
1 check passed
@auduchinok Eugene Auduchinok (auduchinok) deleted the plugins-sync/merge-robot-ultimate-master-2026-05-30 branch May 30, 2026 09:09
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