Commit 7f0f8362 by Jure

Merge branch 'release' into 'master'

Release v1.0.0-alpha.4.

See merge request !84
parents b8964ce1 5db26a4e
Pipeline #1717 passed with stage
in 18 minutes 24 seconds