Skip to content

Conversation

@mlugg
Copy link
Member

@mlugg mlugg commented Jul 16, 2024

this was meant to be two commits but i accidentally pushed one straight to master, oh well

@mlugg mlugg enabled auto-merge (rebase) July 16, 2024 18:46
@mlugg mlugg disabled auto-merge July 16, 2024 18:57
@mlugg mlugg enabled auto-merge July 16, 2024 18:57
@mlugg mlugg merged commit e82f7d3 into ziglang:master Jul 16, 2024
@mlugg mlugg deleted the incremental-fix branch May 18, 2025 20:00
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.

1 participant