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.

Sign up for GitHub

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

Jump to bottom

[AIP-122] Correct resource capitalization issue. #513

Merged
merged 1 commit into from May 27, 2020
Merged

[AIP-122] Correct resource capitalization issue. #513

merged 1 commit into from May 27, 2020

Conversation

lukesneeringer
Copy link
Contributor

Fixes #500.

@lukesneeringer lukesneeringer requested a review from a team May 19, 2020 20:26
@googlebot googlebot added the cla: yes This human has signed the Contributor License Agreement. label May 19, 2020
@lukesneeringer lukesneeringer merged commit 0acd2df into master May 27, 2020
@lukesneeringer lukesneeringer deleted the issue-500 branch May 27, 2020 15:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jskeet jskeet jskeet approved these changes

Assignees
No one assigned
Labels
cla: yes This human has signed the Contributor License Agreement.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

[AIP-122] Contradiction on Capitalization
3 participants
@lukesneeringer @jskeet @googlebot