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

Fixes #14231: #2123

Merged
merged 1 commit into from
Jan 24, 2019
Merged

Fixes #14231: #2123

merged 1 commit into from
Jan 24, 2019

Conversation

ncharles
Copy link
Member

@Normation-Quality-Assistant
Copy link
Contributor

This PR is not mergeable to upper versions.
Since it is "Ready for merge" you must merge it by yourself using the following command:
rudder-dev merge https://github.com/Normation/rudder/pull/2123
-- Your faithful QA
Kant merge: "Morality is not the doctrine of how we may make ourselves happy, but how we may make ourselves worthy of happiness."
(https://ci.normation.com/jenkins/job/merge-accepted-pr/6495/console)

@ncharles
Copy link
Member Author

OK, merging this PR

@ncharles ncharles merged commit b4954b6 into Normation:branches/rudder/4.1 Jan 24, 2019
@ncharles
Copy link
Member Author

OK, merging this PR

1 similar comment
@ncharles
Copy link
Member Author

OK, merging this PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
3 participants