Minor cleanups #542

Merged
merged 3 commits into from Mar 1, 2014

Projects

None yet

2 participants

@seancribbs

These were some minor things that were lost or overlooked in #540. None of them affect correctness.

@jrwest

+1 merge

@seancribbs seancribbs merged commit be773dd into develop Mar 1, 2014

1 check failed

Details default Build done.
@seancribbs seancribbs deleted the bugfix/sdc/dialyzer-2 branch Mar 1, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment