RalfJung.toml « people - rust-lang-team - Contrib clone of rust-lang-team

summary refs log tree commit diff stats

path: root/people/RalfJung.toml

blob: 89b2c4e2c66ec54fc645d4cc754157463a536792 (plain)

name = "Ralf Jung"
github = "RalfJung"
github-id = 330628

[permissions]
perf = true
bors.rust.review = true
bors.miri.review = true