Skip to content
GitLab
Explore
Sign in
Jan Maximilian Michal
grady
Merge requests
!218
Resolve "Choose different name for reserved submissions"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jakob Dieterle
requested to merge
191-choose-different-name-for-reserved-submissions
into
master
Dec 17, 2019
Overview
0
Commits
1
Pipelines
4
Changes
2
Expand
Closes
#191 (closed)
Edited
Jan 07, 2020
by
robinwilliam.hundt
Merge request reports