Skip to content
GitLab
Erkunden
Anmelden
Registrieren
Tippfehler in der Beschreibung
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Michael Danielczok
schlägt
Sep 28, 2017
vor,
dev
in
master
zu mergen.
Übersicht
0
Commits
1
Pipelines
0
Änderungen
1
Aufklappen
Merge Request-Berichte