Commit 98934703 by Jure

Merge branch 'release' into 'master'

Release v1.0.0.

See merge request !130
parents e568479a 89d06a6f
Pipeline #3276 failed with stage
in 5 minutes 28 seconds