Skip to content
GitLab
Explore
Sign in
Register
Otte, Dr. Peter-Bernd
Workload Manager
Merge requests
!1
Dev
Code
Review changes
Check out branch
Download
Patches
Plain diff
Otte, Dr. Peter-Bernd
requested to merge
dev
into
master
May 28, 2019
Overview
0
Commits
2
Pipelines
0
Changes
1
Expand
Minor changes (barrier at the end and acceptance of >= 4 arguments per variable instead of ==4.
Merge request reports