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 03, 2018
vor,
dev
in
master
zu mergen.
Übersicht
0
Commits
2
Pipelines
0
Änderungen
3
Aufklappen
Merge Request-Berichte