Closed fhitchen closed 4 years ago
@fhitchen Am I right thinking everything from this PR went into #1 already?
Yes, the CircleCi branch was merged in commit id 6e107f7 into the master branch.
@fhitchen Am I right thinking everything from this PR went into #1 already?