Skip to content
GitLab
Erkunden
Anmelden
Registrieren
merge dev
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Moritz Scholz
schlägt
Nov 16, 2021
vor,
dev
in
master
zu mergen.
Übersicht
0
Commits
41
Pipelines
0
Änderungen
33
Aufklappen
Merge Request-Berichte