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

Remove unused variables in ConsensusBased and UnanimousBased #5897

Merged
merged 1 commit into from Sep 21, 2018

Conversation

@johnlinp
Copy link
Contributor

@johnlinp johnlinp commented Sep 21, 2018

No description provided.

@rwinch rwinch added this to the 5.1.0 milestone Sep 21, 2018
@rwinch rwinch self-assigned this Sep 21, 2018
@rwinch rwinch merged commit 69b71ee into spring-projects:master Sep 21, 2018
2 checks passed
Loading
@rwinch
Copy link
Member

@rwinch rwinch commented Sep 21, 2018

Thanks @johnlinp! This is now merged into master

Loading

@johnlinp johnlinp deleted the fix-remove-unused-var branch Aug 29, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants