Closed kvark closed 3 years ago
Just a maintenance PR to clean up some code. PR checklist:
make
make reftests
bors r+
Build succeeded:
Just a maintenance PR to clean up some code. PR checklist:
make
succeeds (on *nix)make reftests
succeeds