julia
Pkg: more aggressive dependency pruning
#17709
Merged

Pkg: more aggressive dependency pruning #17709

carlobaldassi merged 1 commit into master from cb/morepruning
carlobaldassi
tkelman tkelman added packages
carlobaldassi carlobaldassi force pushed from 47b1f1b3 to 4c40671f 9 years ago
carlobaldassi Pkg: more aggressive dependency pruning
4205884d
carlobaldassi carlobaldassi force pushed from 4c40671f to 4205884d 9 years ago
carlobaldassi
carlobaldassi carlobaldassi merged e78bf34b into master 9 years ago
carlobaldassi carlobaldassi deleted the cb/morepruning branch 9 years ago
StefanKarpinski
tkelman

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone