Skip to content

Conversation

@sjorsdonkers
Copy link
Contributor

log.zig does not appear to be used

@karlseguin
Copy link
Collaborator

I plan on working on it at some point, but you can remove it for now, I have a better version in a local branch.

@karlseguin karlseguin merged commit ba0505c into main Apr 25, 2025
12 checks passed
@karlseguin karlseguin deleted the remove-log.zig branch April 25, 2025 00:47
@github-actions github-actions bot locked and limited conversation to collaborators Apr 25, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants