diff options
| author | Ralf Jung <post@ralfj.de> | 2022-10-02 14:59:01 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-10-02 15:05:54 +0200 |
| commit | 386628b70781f0186328ee13dae5e18dded9dd1c (patch) | |
| tree | cd8ef7150f1aad58ff5751bcc6d53dbe671e52db | |
| parent | fc90c480044d70f96df9c9750c680d422bc03e1f (diff) | |
| parent | 848de11c45de979093ad67bf4b45832058a84e45 (diff) | |
| download | rust-386628b70781f0186328ee13dae5e18dded9dd1c.tar.gz rust-386628b70781f0186328ee13dae5e18dded9dd1c.zip | |
Auto merge of #2574 - RalfJung:vergen, r=RalfJung
| -rw-r--r-- | src/tools/miri/cargo-miri/Cargo.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/cargo-miri/Cargo.toml b/src/tools/miri/cargo-miri/Cargo.toml index b06b590e670..3c1f259d88d 100644 --- a/src/tools/miri/cargo-miri/Cargo.toml +++ b/src/tools/miri/cargo-miri/Cargo.toml @@ -30,4 +30,4 @@ rustc-workspace-hack = "1.0.0" serde = { version = "*", features = ["derive"] } [build-dependencies] -vergen = { version = "7.4", default_features = false, features = ["git"] } +vergen = { version = "7", default_features = false, features = ["git"] } |