Closed kvark closed 3 years ago
Fixes #3702 PR checklist:
make
make reftests
The caller assumes this can fail, and handles it. bors r+
Build succeeded:
Fixes #3702 PR checklist:
make
succeeds (on *nix)make reftests
succeeds