Skip to content
GitLab
Explore
Sign in
move global enum to worker nomenclature
Code
Review changes
Check out branch
Download
Patches
Plain diff
Harald Sitter
requested to merge
work/workerenums
into
master
Jun 29, 2022
Overview
9
Commits
1
Pipelines
4
Changes
1
Expand
following
4508b4b0
in motivation
Merge request reports