Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove lazy static #164

Closed
wants to merge 1 commit into from
Closed

Conversation

atezet
Copy link
Contributor

@atezet atezet commented Jul 29, 2024

No description provided.

@greyblake
Copy link
Owner

Thanks for the PR!
I just merged in into master, using git, cause I had to fix some formatting and clippy issues.
By some reason, github does not recognize it, but your commit is there: 70bc7cc

@greyblake greyblake closed this Aug 10, 2024
@atezet
Copy link
Contributor Author

atezet commented Aug 10, 2024

Perfect! I think you'd have to (force) push on this branch (and possibly merge it through the interface) for Github to be able to recognise it, but I don't mind at all

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