Skip to content

Display git commit info when available.#581

Merged
RubenVerborgh merged 1 commit intorelease/v4.0.0from
feature/log-git-info
Sep 5, 2017
Merged

Display git commit info when available.#581
RubenVerborgh merged 1 commit intorelease/v4.0.0from
feature/log-git-info

Commits

Commits on Sep 5, 2017