-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
rename Uint => UInt (closes #8905) #8907
Conversation
This makes concerns about whitespace fixes making merges hard seem completely and utterly silly. |
Can we have that too? I'll submit a PR if we are being greedy today :-) |
Yeah, of course. Not point not doing it now. |
Ok. After this is merged. |
I have a half finished git command to check for whitespace introduced in a PR. This way you would avoid builds from breaking when you you actually didn't introduce any errors.
I'll test it with some different conditions on Travis tomorrow. |
b93c185
to
602a8e1
Compare
rename Uint => UInt (closes #8905)
No description provided.