diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-09 09:04:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-09 09:04:48 +0200 |
commit | 0c1ed5af7cff0852db50b470935a240ef4e510f7 (patch) | |
tree | 021f5439a02a9b8ec03df6d12bf15f14d0da39f9 | |
parent | 1e696bebe414d9a295217567aee350bef092ea78 (diff) | |
parent | f8a59eed07ffd6e59d4711c44bae79a9b9d20ef9 (diff) |
Merge pull request #139 from rust-lang/matthewjasper-polonius
add matthewjasper to the polonius wg
-rw-r--r-- | teams/wg-polonius.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/teams/wg-polonius.toml b/teams/wg-polonius.toml index 64b7aa0..e4735fe 100644 --- a/teams/wg-polonius.toml +++ b/teams/wg-polonius.toml @@ -4,7 +4,7 @@ wg = true [people] leads = ["lqd", "nikomatsakis"] -members = ["lqd", "nikomatsakis", "albins"] +members = ["lqd", "nikomatsakis", "albins", "matthewjasper"] [website] name = "Polonius" |