Commit 56b5ee5e authored by okhin's avatar okhin 🚴

Merge branch 'master' into 'master'

Minor improvements on bin/dev

Closes #192 and #193

See merge request !199
parents 90de91bb 6ee07d6f
Pipeline #1022 passed with stages
in 9 minutes and 36 seconds