Skip to content
GitLab
Erkunden
Anmelden
Registrieren
Dev
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Michael Danielczok
schlägt
Dez 08, 2020
vor,
dev
in
master
zu mergen.
Übersicht
0
Commits
2
Pipelines
0
Änderungen
2
Aufklappen
Merge Request-Berichte