Skip to content

Tidy up handling of Git references.#39

Merged
chrisgavin merged 1 commit intomainfrom
tidy-git
Aug 28, 2020

Commits

Commits on Aug 28, 2020