Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Handle the situation where get_rust_version() returns None (#182)
Co-authored-by: Martin Larralde <martin.larralde@ens-paris-saclay.fr>
- Loading branch information