This repository was archived by the owner on Nov 15, 2023. It is now read-only.

Fix checking that `get_heads` exists#657

Merged

gavofyork merged 1 commit intomasterfrom

bkchr-fix-get-heads

Dec 4, 2019

Commits on Dec 4, 2019

Fix checking that `get_heads` exists
bkchr
committed