Skip to content

Set git identity.#237

Merged
floitsch merged 2 commits intomasterfrom floitsch/fix-empty-identityDec 18, 2023

Commits

Commits on Dec 18, 2023