Couple minor improvements #1

Merged
neuron303 merged 9 commits from master into master 2019-08-30 19:12:07 +02:00
neuron303 commented 2019-08-30 13:40:57 +02:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.