Skip to content

Conversation

@joshsmith
Copy link
Contributor

What's in this PR?

Minor fixes noticed while doing #834.

@joshsmith joshsmith merged commit 0b4ad5b into develop Dec 6, 2016
rlueder pushed a commit that referenced this pull request Dec 7, 2016
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.

3 participants