diff options
author | Alex Crichton <alex@alexcrichton.com> | 2019-10-21 11:00:13 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-21 11:00:13 -0500 |
commit | 90490bfd355baaca450fc4ac31c01228b65b7ecd (patch) | |
tree | f5b2a4f81f08f3bd00c8a032a47a186724acc476 /teams | |
parent | 74e5301c1203438f624f2e0e8b0b79875ab6c339 (diff) | |
parent | b4ff9daf0c64f03a5d508d63e3d71c60dd661d34 (diff) |
Merge pull request #156 from KodrAus/patch-1
un-exclude @KodrAus from rfcbot
Diffstat (limited to 'teams')
-rw-r--r-- | teams/libs.toml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/teams/libs.toml b/teams/libs.toml index bc8f04c..f998fb8 100644 --- a/teams/libs.toml +++ b/teams/libs.toml @@ -31,7 +31,6 @@ name = "Libraries" ping = "rust-lang/libs" exclude-members = [ "BurntSushi", - "KodrAus", ] [website] |