Home
last modified time | relevance | path

Searched defs:git_merge_commit_email (Results 1 – 2 of 2) sorted by relevance

/third_party/rust/rust/src/
Dstage0.json6 "git_merge_commit_email": "bors@rust-lang.org", string
/third_party/rust/rust/src/bootstrap/
Dconfig.rs317 pub git_merge_commit_email: String, field