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

Comment out unused parameter #21578

Merged
merged 1 commit into from
Jan 6, 2020
Merged

Comment out unused parameter #21578

merged 1 commit into from
Jan 6, 2020

Conversation

vjpai
Copy link
Member

@vjpai vjpai commented Jan 3, 2020

Avoid a warning.

@vjpai vjpai added the release notes: no Indicates if PR should not be in release notes label Jan 3, 2020
@vjpai vjpai requested a review from veblush January 3, 2020 14:53
@vjpai vjpai requested a review from markdroth as a code owner January 3, 2020 14:53
@vjpai vjpai merged commit 4f0875d into master Jan 6, 2020
@vjpai vjpai deleted the vjpai-patch-1 branch January 6, 2020 07:46
@lock lock bot locked as resolved and limited conversation to collaborators Apr 15, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@veblush veblush veblush approved these changes

@markdroth markdroth Awaiting requested review from markdroth

Assignees
No one assigned
Labels
release notes: no Indicates if PR should not be in release notes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@vjpai @veblush