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

StateManager updates (resolves #165) #166

Merged
merged 7 commits into from
Feb 13, 2018
Merged

StateManager updates (resolves #165) #166

merged 7 commits into from
Feb 13, 2018

Conversation

jace
Copy link
Member

@jace jace commented Feb 7, 2018

These commits introduce a breaking change, but in unused functionality. There is also a contestable choice in using bestmatch() for state.label. This suits a current requirement in Funnel, but may be a problem elsewhere, and will therefore need revisiting.

For code review, please look at each commit separately. It will be easier to understand.

@jace jace requested a review from shreyas-satish February 7, 2018 11:59
@jace jace merged commit 2aac165 into master Feb 13, 2018
@jace jace deleted the statemanager-update branch February 13, 2018 06:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant