Skip to content
GitLab
Erkunden
Anmelden
Registrieren
Dev into master
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Jan Wennrich
schlägt
Jul 09, 2018
vor,
dev
in
master
zu mergen.
Übersicht
0
Commits
15
Pipelines
0
Änderungen
15
Aufklappen
Merge Request-Berichte