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

updated docstring, flags->params #43964

Closed
wants to merge 1 commit into from

Conversation

gaaclarke
Copy link
Contributor

Tiny fix in a docstring.

@google-cla google-cla bot added the cla: yes label Oct 28, 2020
@gaaclarke
Copy link
Contributor Author

Do you want me to file this via gerrit? Looks like this doesn't have the full CI integrated. This was just easier for me to do in the moment.

@gaaclarke gaaclarke closed this Oct 28, 2020
@mraleph
Copy link
Member

mraleph commented Oct 28, 2020

We don't have CI integration here, but Copybara pulls PRs into Gerrit automatically: https://dart-review.googlesource.com/c/sdk/+/169582

@mit-mit mit-mit reopened this Nov 2, 2020
@mit-mit
Copy link
Member

mit-mit commented Nov 2, 2020

Thanks for the contribution @gaaclarke; this is being merged via the Gerrit CR linked above

@dart-bot dart-bot closed this in a4786e8 Nov 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants