Skip to content

minor cleanup #17

Merged
merged 1 commit into from Mar 3, 2017
Merged

minor cleanup #17

merged 1 commit into from Mar 3, 2017

Conversation

pcaskey
Copy link
Contributor

@pcaskey pcaskey commented Mar 3, 2017

No description provided.

@pcaskey pcaskey merged commit 141d5d0 into master Mar 3, 2017
1 check passed
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant