Merge branch 'dev' into 'master'
Passed
Marios.Fanourakis
created pipeline for commit
1a47ca7b
, finished
For v0.2
1 minute 4 seconds, queued for 0 seconds