Skip to content
Snippets Groups Projects

Merge pull request #494 from Jedi18/minor_issue_fixes

Passed
Nicolas Werner created pipeline for commit 4c71ca81
, finished
For master
branch
6 jobs 56 minutes 35 seconds, queued for 2 seconds