Miscellaneous minor fixes#1033
Merged
jdonald merged 12 commits intomasterfrom misc-fixesNov 7, 2017
+132-51
Commits
Commits on Nov 2, 2017
- committedJonathan Marsden
- committedJonathan Marsden
- committedJonathan Marsden
- committedJonathan Marsden
- committedJonathan Marsden
Commits on Nov 3, 2017
- committedJonathan Marsden
Commits on Nov 4, 2017
- committedJonathan Marsden
- committedJonathan Marsden
Commits on Nov 6, 2017
- committedJonathan Marsden
- committedJonathan Marsden
Commits on Nov 7, 2017
- committedJonathan Marsden
- committedJonathan Marsden