Skip to content
Back to pull request #98041

Fix loss of gdextension on editor startup #42344

Sign in to view logs

Fix loss of gdextension on editor startup

Fix loss of gdextension on editor startup #42344

🤖 Android  /  Editor (target=editor)

🤖 Android / Editor (target=editor)
succeeded Oct 20, 2024 in 7m 23s