Respect `rust-lang/rust`'s `omit-git-hash`#12968

Merged

bors merged 1 commit intorust-lang:masterfrom ferrocene:pa-omit-git-hash

Nov 19, 2023

+8

Commits on Nov 13, 2023

respect rust-lang/rust's omit-git-hash
pietroalbini
committed