Skip to content

Don't prune if we've already downloaded updates.#175

Merged
joshaber merged 1 commit intomasterfrom fix-pruningJun 12, 2016

Commits

Commits on Jun 8, 2016