Skip to content
Snippets Groups Projects

Merge branch 'version_update' into 'dev'

Passed
Olivier BICHLER created pipeline for commit 3f31e315
, finished
1 related merge request: !54 Update 0.3.1 -> 0.4.0
12 jobs 9 minutes 13 seconds, queued for 6 seconds

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent