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

bugs #2252

Closed
wants to merge 3 commits into from
Closed

bugs #2252

wants to merge 3 commits into from

Conversation

shawnl
Copy link
Contributor

@shawnl shawnl commented Apr 11, 2019

A few small bugs.

shawnl added 3 commits April 10, 2019 19:41
You can just use git grep to see if this stuff is used.
My unicode.zig stuff actually used this stuff and found out it wasn't complete
That produced garbage.
@andrewrk
Copy link
Member

Please read my comment here: #2134 (comment)
I need you to respect my time more. I feel like you are not listening to me.

@andrewrk andrewrk closed this Apr 11, 2019
@andrewrk
Copy link
Member

Are you making pull requests to take advantage of the CI server rather than with the intention of having them merged?

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