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

[13.0][PORT] 512 from 10.0 #702

Merged
merged 1 commit into from
Jun 20, 2020
Merged

[13.0][PORT] 512 from 10.0 #702

merged 1 commit into from
Jun 20, 2020

Conversation

sebastienbeau
Copy link
Contributor

Port #512 from 10.0 to 13.0.

@sebastienbeau
Copy link
Contributor Author

/ocabot merge minor

@shopinvader-git-bot
Copy link

Hey, thanks for contributing! Proceeding to merge this for you.
Prepared branch 13.0-ocabot-merge-pr-702-by-sebastienbeau-bump-minor, awaiting test results.

shopinvader-git-bot pushed a commit that referenced this pull request Jun 19, 2020
Merge PR #702 into 13.0
c48356f 
Signed-off-by sebastienbeau
@shopinvader-git-bot
Copy link

@sebastienbeau your merge command was aborted due to failed check(s), which you can inspect on this commit of 13.0-ocabot-merge-pr-702-by-sebastienbeau-bump-minor.

After fixing the problem, you can re-issue a merge command. Please refrain from merging manually as it will most probably make the target branch red.

@sebastienbeau
Copy link
Contributor Author

/ocabot merge minor

@shopinvader-git-bot
Copy link

Hey, thanks for contributing! Proceeding to merge this for you.
Prepared branch 13.0-ocabot-merge-pr-702-by-sebastienbeau-bump-minor, awaiting test results.

@lmignon lmignon mentioned this pull request Jun 19, 2020
Closed
77 tasks
@shopinvader-git-bot shopinvader-git-bot merged commit 9a82e0a into shopinvader:13.0 Jun 20, 2020
@shopinvader-git-bot
Copy link

Congratulations, your PR was merged at 9a82e0a. Thanks a lot for contributing to shopinvader. ❤️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
forwardport merged 🎉
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@sebastienbeau @shopinvader-git-bot @acsonefho