Skip to content

Conversation

@Lking03x
Copy link

#19272

@alexrp
Copy link
Member

alexrp commented Feb 5, 2025

Noting that this would supersede #19277.

@Lking03x
Copy link
Author

Lking03x commented Feb 9, 2025

@alexrp It seems I should have created a new branch on my fork before making the pull request (instead of 'master'). This keeps me from syncing my master to ziglang one's, as the changes may reflect here despite being unrelated.

Can you please tell me how to processed from now?

@alexrp
Copy link
Member

alexrp commented Feb 9, 2025

You can just cherry-pick the commit to another branch and create a new PR from that, then close this one.

@Lking03x
Copy link
Author

@alexrp this is the new PR #22855

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