Skip to content
GitLab
Erkunden
Anmelden
Registrieren
merge dev into master
Code
Änderungen prüfen
Branch auschecken
Herunterladen
Patches
Unformatierter Diff
Michael Danielczok
schlägt
Nov 14, 2023
vor,
dev
in
master
zu mergen.
Übersicht
0
Commits
24
Pipelines
0
Änderungen
27
Aufklappen
Merge Request-Berichte