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-4683] User with Monitor role can stop the servers in domain mode #3981

Merged
merged 1 commit into from Oct 14, 2019
Merged

[WFCORE-4683] User with Monitor role can stop the servers in domain mode #3981

merged 1 commit into from Oct 14, 2019

Conversation

gaol
Copy link
Contributor

@gaol gaol commented Oct 11, 2019

@wildfly-ci wildfly-ci added the deps-ok Dependencies have been checked, and there are no significant changes label Oct 11, 2019
@jmesnil jmesnil added the ready-for-merge This PR is ready to be merged and fulfills all requirements label Oct 14, 2019
@jmesnil jmesnil merged commit 131fa68 into wildfly:master Oct 14, 2019
@jmesnil
Copy link
Member

jmesnil commented Oct 14, 2019

@gaol thanks

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
deps-ok Dependencies have been checked, and there are no significant changes ready-for-merge This PR is ready to be merged and fulfills all requirements
Projects
None yet
Milestone
No milestone
3 participants
@gaol @jmesnil @wildfly-ci