Merge branch 'devel'

1 job for 0.5.0
in 6 minutes and 26 seconds and was queued for 5 seconds
latest