Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Fire leader settings changed event when needed #32
Conversation
wallyworld
added some commits
Aug 20, 2015
added a commit
that referenced
this pull request
Aug 20, 2015
wallyworld
merged commit aca5235
into
uniter-solver
Aug 20, 2015
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
wallyworld commentedAug 20, 2015
Add support for firing the leader setting change hook.