Skip to content
GitLab
Explore
Sign in
assert -> abort to avoid warning
Code
Review changes
Check out branch
Download
Patches
Plain diff
Wuttke, Joachim
requested to merge
exit_on_bug
into
master
Jul 17, 2022
Overview
2
Commits
1
Pipelines
1
Changes
1
Expand
alternative solution to
!6 (closed)
Edited
Jul 17, 2022
by
Wuttke, Joachim
Merge request reports
Loading