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

Fixed a type in the build script #17

Closed
wants to merge 2 commits into from
Closed

Conversation

mike632t
Copy link
Contributor

@mike632t mike632t commented Feb 8, 2025

A minor update to fix a typo

@davidly
Copy link
Owner

davidly commented Feb 8, 2025

thanks, but I fixed this yesterday :)

@davidly davidly closed this Feb 8, 2025
@mike632t
Copy link
Contributor Author

mike632t commented Feb 8, 2025

LOL !

@mike632t mike632t deleted the stable branch February 8, 2025 21:27
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