julia
1b7c4a2f
- fix bug when cloned package does not have HEAD ref
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
10 years ago
fix bug when cloned package does not have HEAD ref
References
#13804 - Fix bug when cloned package does not have HEAD ref
Author
jakebolewski
Committer
jakebolewski
Parents
99dc2eb9
Loading