input_set_best_block
now properly accepts an Option
#497
Merged
tomaka merged 2 commits intosmol-dot:main from tomaka:fix-492May 2, 2023
+32-14
Commits
Commits on May 2, 2023
- committed
- committed