Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
In the Makefile, if no git tags are found then query the github api i…
…nstead to get latest tag. (#468)
- Loading branch information