Merge branch '0.3_release' into 'develop'
For v0.3
latest
tag
3 jobs
6 minutes 44 seconds, queued for 0 seconds
This Gitlab instance will be briefly unavailable today from 17:15 CET onwards for maintenance reasons.
Diese Gitlab-Instanz wird heute ab 17:15 Uhr kurzzeitig nicht verfügbar sein aufgrund von Wartungsarbeiten.