many small improvements #2

Merged
budRich merged 1 commit from next into master 2020-06-08 17:29:54 +00:00
budRich commented 2020-06-08 17:29:47 +00:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.
No description provided.