small tweaks#88

Open

MultivacR wants to merge 29 commits intoCodeAbbey:masterfrom

MultivacR:master

Commits on Aug 16, 2020

Commits on Aug 17, 2020

Commits on Sep 12, 2020

Commits on Sep 13, 2020

Commits on Sep 15, 2020

Create task-35
MultivacR
authored

Commits on Oct 3, 2020

Merge branch 'master' into master
MultivacR
authored