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
0
Commits
8
Pipelines
0
Änderungen
8
Aufklappen
#3 (closed)
Merge Request-Berichte