misc improvements #33

Merged
budRich merged 10 commits from dev into master 2018-09-20 17:15:08 +00:00
budRich commented 2018-09-20 17:14:52 +00:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.
No description provided.