Commit 25a71f54 authored by Amir MOHAMMADI's avatar Amir MOHAMMADI

Merge branch 'various' into 'master'

Various improvements

Closes #41 and #42

See merge request !72
parents 36b268e9 7667556d
Pipeline #21200 passed with stages
in 15 minutes and 45 seconds