Skip to content

Make sure that "make setup" updates the checkouts if they're already there.#1366

Merged
obra merged 1 commit intomasterfrom f/setup-updatesDec 11, 2023

Commits

Commits on Dec 11, 2023