Skip to content

Merge branch 'release/180718'#1946

Closed
Troopie wants to merge 1 commit intodevelopfrom
master
Closed

Merge branch 'release/180718'#1946
Troopie wants to merge 1 commit intodevelopfrom
master

Conversation

@Troopie
Copy link
Copy Markdown

@Troopie Troopie commented Jul 20, 2018

No description provided.

@ghost ghost added the Status: dev queue label Jul 20, 2018
@dgibbs64 dgibbs64 closed this Jul 20, 2018
@ghost ghost removed the Status: dev queue label Jul 20, 2018
@dgibbs64 dgibbs64 added the outcome: pr rejected Pull Request rejected label Jul 21, 2018
@dgibbs64 dgibbs64 added pr-rejected and removed outcome: pr rejected Pull Request rejected labels Jun 19, 2019
@github-actions
Copy link
Copy Markdown
Contributor

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Dec 25, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants