Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
pwmt
zathura
Commits
Commit
8ff5a3e4
authored
Apr 03, 2022
by
Sebastian Ramacher
Browse files
Merge branch 'master' into 'develop'
Clean process shutdown by sandbox See merge request
!52
parents
87989da7
b951d024
Pipeline
#446
failed with stages
in 42 seconds
Changes
1
Pipelines
1