Skip to content

Add missing registration for git preferences provisioner#14488

Merged
vzhukovs merged 1 commit intomasterfrom che#13876-missing-registrationSep 10, 2019

Commits

Commits on Sep 9, 2019