Skip to content
Snippets Groups Projects

Merge branch 'xr-devel' into 'master'

Passed
Nils Brüggemann created pipeline for commit 47a3fe3f
, finished
For master
branch
2 jobs 9 seconds, queued for 2 seconds