Merge branch 'dev' into 'master'

Version 1.4.0

See merge request !5
3 jobs for v1.4.0 in 14 minutes and 26 seconds (queued for 3 seconds)
latest