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.

Sign up for GitHub

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

Jump to bottom

Remove outdated notice about changing import type requiring editor restart #7654

Merged
merged 1 commit into from
Jul 18, 2023
Merged

Remove outdated notice about changing import type requiring editor restart #7654

merged 1 commit into from
Jul 18, 2023

Conversation

Calinou
Copy link
Member

@Calinou Calinou commented Jul 12, 2023 •
edited
Loading

This is no longer the case since Godot 4.2, following the merge of godotengine/godot#78890.

@Calinou
Remove outdated notice about changing import type requiring editor re…
ec71ddb 
…start

This is no longer the case since Godot 4.2.
@Calinou Calinou added enhancement area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Jul 12, 2023
@skyace65 skyace65 added this to the 4.2 milestone Jul 15, 2023
@mhilbrunner mhilbrunner merged commit 331328e into godotengine:master Jul 18, 2023
@mhilbrunner
Copy link
Member

Such a nice change. Thanks for changing the docs! Merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Piralein Piralein Piralein approved these changes

@mhilbrunner mhilbrunner mhilbrunner approved these changes

Assignees
No one assigned
Labels
area:manual Issues and PRs related to the Manual/Tutorials section of the documentation enhancement
Projects
None yet
Milestone
4.2
Development

Successfully merging this pull request may close these issues.
4 participants
@Calinou @mhilbrunner @Piralein @skyace65