Skip to content

fix for git API change#1

Merged
dinosaure merged 1 commit into
dinosaure:ocaml-gitfrom
hannesm:ocaml-git
Sep 29, 2020
Merged

fix for git API change#1
dinosaure merged 1 commit into
dinosaure:ocaml-gitfrom
hannesm:ocaml-git

Commits

Commits on Sep 29, 2020