Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Disambiguate Michael Hafner
Code
Review changes
Check out branch
Download
Patches
Plain diff
Romi
requested to merge
romi-opl/opl-data:MichaelHafner
into
master
Apr 04, 2020
Overview
1
Commits
11
Pipelines
1
Changes
9
Expand
#5226
removed name from name correction file in MR 5428
Merge request reports