Closed dhardy closed 4 years ago
Addresses @vigna's comments. Closes #18, #19, #20, #21.
@vigna would you please review? Note that the changes on distributions are more extensive; @vks may be a more appropriate reviewer here.
Whoops, it appears I pushed upstream instead of to this PR accidentally (I should enable branch protections)! I think in any case we're done with this PR, so long as @vigna approves my last commit.
Addresses @vigna's comments. Closes #18, #19, #20, #21.
@vigna would you please review? Note that the changes on distributions are more extensive; @vks may be a more appropriate reviewer here.