diff options
author | Mark Rousskov <mark.simulacrum@gmail.com> | 2019-12-04 14:14:29 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-04 14:14:29 -0500 |
commit | c2141e1e162d1da2139cbb31872bdf78222f1461 (patch) | |
tree | 70d800389a71e0c6061366fb967601e5abfec2b7 /teams/docsrs-ops.toml | |
parent | 30ea91879263d68526c5f07242109cbf6784e8fc (diff) | |
parent | 5325e3c57ba7151e123ce93256b4675580e47d4d (diff) |
Merge pull request #182 from QuietMisdreavus/docsrs-team
spin off docs.rs team from rustdoc team
Diffstat (limited to 'teams/docsrs-ops.toml')
-rw-r--r-- | teams/docsrs-ops.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/teams/docsrs-ops.toml b/teams/docsrs-ops.toml index 02fadfe..77d2c69 100644 --- a/teams/docsrs-ops.toml +++ b/teams/docsrs-ops.toml @@ -6,6 +6,7 @@ leads = [] members = [ "QuietMisdreavus", "onur", + "jyn514", ] [github] |