Skip to content

Sync with the ultimate master#1149

Merged
Eugene Auduchinok (auduchinok) merged 1 commit into
mainfrom
plugins-sync/merge-robot-ultimate-master-2026-05-31
May 31, 2026
Merged

Sync with the ultimate master#1149
Eugene Auduchinok (auduchinok) merged 1 commit into
mainfrom
plugins-sync/merge-robot-ultimate-master-2026-05-31

Conversation

@jetbrains-net-syncer
Copy link
Copy Markdown

Sync with the ultimate master.

IJ-MR-184958 IJ-MR-184993 IJ-MR-179029 IJ-MR-184126 IJ-MR-181153 IJ-MR-146078 IJ-MR-175479 IJ-MR-186058 IJ-MR-193195 IJ-MR-196957 IJ-MR-199124 IJ-MR-197441 IJ-MR-204135 IJ-MR-204674

GitOrigin-RevId: fe501be12cc2af8d486b5e5ea640715047e5833e
@auduchinok Eugene Auduchinok (auduchinok) merged commit 68e34d8 into main May 31, 2026
1 check passed
@auduchinok Eugene Auduchinok (auduchinok) deleted the plugins-sync/merge-robot-ultimate-master-2026-05-31 branch May 31, 2026 07:14
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