Skip to content

Conversation

@efernandez
Copy link
Member

This puts #25 on top of indigo-devel.

This was already reviewed, and it looks like the rebase (after solving several conflicts) has gone well.

@afakihcpr I'm going to merge it, but you can still have a look after that.

efernandez pushed a commit that referenced this pull request Feb 8, 2016
@efernandez efernandez merged commit 7b979fe into indigo-devel Feb 8, 2016
@efernandez efernandez deleted the use_dynamic_params_defaults branch February 10, 2016 20:40
@efernandez efernandez added the bug label Feb 13, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants