Closed volkerlang closed 5 years ago
Danke sehr. Es gab Konflikte, weil die Commits schon Teil des letzten Pull Requests waren. Ich habe den Commit 5179a57e20ab74dbe224f3d49545c78983c7c415 "ge-cherrypickt". Ich schließe den PR ohne Merge. Ist somit erledigt.
@afuetterer: Bitte pullen!