Skip to content

Conversation

@fmeum
Copy link
Member

@fmeum fmeum commented Aug 2, 2025

What type of PR is this?

Bug fix

What does this PR do? Why is it needed?

This was missed in #4300.

Which issues(s) does this PR fix?

Fixes #4408

Other notes for review

@fmeum fmeum enabled auto-merge (squash) August 4, 2025 16:17
@fmeum fmeum merged commit beb2bbc into master Aug 4, 2025
4 checks passed
@fmeum fmeum deleted the fmeum-patch-2 branch August 4, 2025 16:50
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.

Please provide a way to disable the default sdk/toolchains

3 participants