Skip to content

Expose round votes through Environment#58

Merged
rphmeier merged 4 commits intomasterfrom
andre/expose-round-votes
Apr 2, 2019
Merged

Expose round votes through Environment#58
rphmeier merged 4 commits intomasterfrom
andre/expose-round-votes

Conversation

@andresilva
Copy link
Copy Markdown
Contributor

This is useful to persist votes and re-use them (if appropriate) when restarting the voter.

Depends on #57.

@andresilva andresilva force-pushed the andre/expose-round-votes branch from 33cde87 to 6c93dad Compare April 1, 2019 11:12
@rphmeier rphmeier merged commit cb96d4a into master Apr 2, 2019
@rphmeier rphmeier deleted the andre/expose-round-votes branch April 2, 2019 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants