Skip to content

Update to the latest Rust nightly.#41

Merged
sunfishcode merged 2 commits intomainfrom sunfishcode/update-nightlySep 9, 2023