Skip to content
Snippets Groups Projects

Merge pull request #11 from nim65s/topic/delete-shell

Passed
Guilhem Saurel created pipeline for commit c4158e5c
, finished
For devel
3 jobs 6 minutes 49 seconds, queued for 2 seconds