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

Bug fixes #9733

Closed
wants to merge 13 commits into from
Closed

Bug fixes #9733

wants to merge 13 commits into from

Conversation

szb512
Copy link

@szb512 szb512 commented Mar 21, 2019

| ------------------------ | ---
| Fixed Issues? | n/a
| Patch: Bug Fix? |yes
| Major: Breaking Change? |n/a
| Minor: New Feature? |yes
| Tests Added + Pass? | Yes
| Documentation PR Link |
| Any Dependency Changes? |n/a or yes
| License | MIT

@nicolo-ribaudo
Copy link
Member

Those commits have already been merged: #9025

@szb512
Copy link
Author

szb512 commented Mar 21, 2019

I must have not saw that.

@nicolo-ribaudo
Copy link
Member

It's the second time that you open a PR with code that has already been merged. Please only open PRs with code written by you.

@nicolo-ribaudo
Copy link
Member

Oh, not all of them have already been merged, but there is already #7581 opened by the author of those commits.

@lock lock bot added the outdated A closed issue/PR that is archived due to age. Recommended to make a new issue label Oct 4, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Oct 4, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
outdated A closed issue/PR that is archived due to age. Recommended to make a new issue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants