julia
Fix some issues with Pkg.pin, add some tests
#13634
Merged

Fix some issues with Pkg.pin, add some tests #13634

jakebolewski merged 1 commit into master from jcb/fixpin
jakebolewski
tkelman
tkelman reviewed on 2015-10-15
tkelman
tkelman reviewed on 2015-10-15
tkelman tkelman added packages
jakebolewski jakebolewski force pushed from e30c7dde to 0a1b9c96 10 years ago
jakebolewski jakebolewski force pushed from 0a1b9c96 to 639cbbe9 10 years ago
jakebolewski fix some issues with Pkg.pin, add some tests
b2fc0486
jakebolewski jakebolewski force pushed from 639cbbe9 to b2fc0486 10 years ago
jakebolewski jakebolewski merged f70ebd4a into master 10 years ago
jakebolewski jakebolewski deleted the jcb/fixpin branch 10 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone