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 #188

Merged
merged 3 commits into from
Jul 5, 2024

Conversation

net-jetbot[bot]
Copy link

@net-jetbot net-jetbot bot commented Jul 5, 2024

Sync with the ultimate master.

…tGodotEditorAction Icon

(cherry picked from commit 3541eed00699a00e4e5c2b84ebe6d28be8d34064)

IJ-CR-138873

GitOrigin-RevId: 8bcfb9a01fd1868700cea8f5e6a022df33e0569a
(cherry picked from commit 1105ed1d7e1b85601dc3c6fddac84e2657ece02e)

IJ-CR-138854

GitOrigin-RevId: 1c9ba028715aceb809f370ac89ad39aaad6548b6
…mic port", switching to "Connect to running editor" would fail to connect

(cherry picked from commit 8491796188236fe246e2fe9dd73d51ae2d8a9d76)

IJ-CR-138854

GitOrigin-RevId: d47bd371adaa58e3a050c044ad0b3a50579ce98f
@van800 van800 merged commit 1137046 into master Jul 5, 2024
1 of 2 checks passed
@van800 van800 deleted the plugins-sync/merge-robot-ultimate-master-2024-07-05 branch July 5, 2024 08: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.

None yet

1 participant