Skip to content

[CHANGE ME] Combining pull requests#720

Closed
chingor13 wants to merge 2 commits intomasterfrom
pr-merge-712-704
Closed

[CHANGE ME] Combining pull requests#720
chingor13 wants to merge 2 commits intomasterfrom
pr-merge-712-704

Conversation

@chingor13
Copy link
Copy Markdown
Contributor

Combining multiple, similar PRs into a single PR:

@googlebot googlebot added the cla: yes This human has signed the Contributor License Agreement. label Jul 10, 2020
@chingor13 chingor13 closed this Jul 21, 2020
@chingor13 chingor13 deleted the pr-merge-712-704 branch July 21, 2020 20:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla: yes This human has signed the Contributor License Agreement.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants