Add results.save(save_dir='path', exist_ok=False)#9617
Merged
glenn-jocher merged 1 commit intomasterfrom glenn-jocher-patch-2Sep 27, 2022
+4-4
results.save(save_dir='path', exist_ok=False)#9617