Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
LeadershipSettingsWatcher fixes. #1813
Conversation
|
$$merge$$ |
|
Status: merge request accepted. Url: http://juju-ci.vapour.ws:8080/job/github-merge-juju |
|
Build failed: Does not match ['fixes-1430898'] |
|
jfdi |
|
$$JFDI$$ |
|
Status: merge request accepted. Url: http://juju-ci.vapour.ws:8080/job/github-merge-juju |
added a commit
that referenced
this pull request
Mar 12, 2015
jujubot
merged commit 0d9ef25
into
juju:master
Mar 12, 2015
kat-co
deleted the
kat-co:leader-settings-fixes
branch
Oct 4, 2016
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
kat-co commentedMar 12, 2015
(Review request: http://reviews.vapour.ws/r/1141/)