Skip to content
GitLab
Explore
Sign in
Register
Add placeholder for new contributions
Code
Review changes
Check out branch
Download
Patches
Plain diff
Hannes Heine
requested to merge
pr833head
into
pr833base
Oct 05, 2020
Overview
1
Commits
1
Pipelines
0
Changes
1
Expand
Created by: Tirokk
Authored by
mattwr18
Jun 14, 2019
Merged
Jun 15, 2019
🍰
Pullrequest
Issues
fixes
#832 (closed)
Merge request reports