Merge 'develop' to 'master'#30
Merged
ericniebler merged 12 commits intomasterfrom Aug 4, 2019
Merged
Commits
Commits on Oct 3, 2016
Commits on Dec 4, 2017
Commits on Feb 6, 2018
Commits on Nov 7, 2018
Commits on Dec 23, 2018
Commits on Dec 24, 2018
Commits on Dec 25, 2018
- committed
Commits on Dec 26, 2018
- committed
- committed
Commits on Jan 17, 2019
Commits on May 10, 2019
- authored andcommitted
