Skip to content
Snippets Groups Projects

Merge pull request #767 from Thulinma/deviceRenaming

Passed
Nicolas Werner created pipeline for commit 159f840a
, finished
For master
branch
7 jobs 33 minutes 13 seconds, queued for 5 seconds