Closed weikengchen closed 3 years ago
The current change is to export the interfaces for 0.7 and 0.2, both old versions.
There will be three steps: (1) merge this. (2) modify the downstream to use this instead of rand. (3) bump the version up from here.
@Pratyush I don't have permission to this repo and need you to take a look.
By the way, this repo does not have many nice GitHub properties, such as the lovely labels or reviewers.
Passed the CI.
This is a draft PR. More changes that handle #20 would appear soon.
Note: It closes #20