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