Skip to content
GitLab
Explore
Sign in
Arendt Group
MorF
Merge requests
!1
Update README.md
Code
Review changes
Check out branch
Download
Patches
Plain diff
Fabian Ruperti
requested to merge
ruperti-main-patch-43727
into
main
Mar 15, 2022
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Just a few follow-up ideas that were in my mind and we discussed this morning.
Merge request reports