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

[WFCORE-4147] Delete the gc.log after the -version check to see if the GC settings are valid. #3556

Merged
merged 2 commits into from Oct 16, 2018
Merged

[WFCORE-4147] Delete the gc.log after the -version check to see if the GC settings are valid. #3556

merged 2 commits into from Oct 16, 2018

Conversation

jamezp
Copy link
Member

@jamezp jamezp commented Oct 15, 2018

@jamezp jamezp added the Blocker label Oct 15, 2018
@jamezp jamezp mentioned this pull request Oct 15, 2018
Closed
@jamezp
Copy link
Member Author

jamezp commented Oct 15, 2018

@marekkopecky Could please review this?

@jmesnil jmesnil added the ready-for-merge This PR is ready to be merged and fulfills all requirements label Oct 16, 2018
@jmesnil jmesnil merged commit 4b48fd1 into wildfly:master Oct 16, 2018
@jamezp jamezp deleted the WFCORE-4147 branch March 13, 2019 21:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jmesnil jmesnil jmesnil approved these changes

Assignees
No one assigned
Labels
Blocker ready-for-merge This PR is ready to be merged and fulfills all requirements
Projects
None yet
Milestone
No milestone
3 participants
@jamezp @jmesnil @rstancel