Merge pull request #897 from GuillaumeGomez/craftspider-alumni

Move CraftSpider to rustdoc team alumnis
rust-lang · Nov 29, 2022 · 06dd0d1 · 06dd0d1
2 parents 1cd9c52 + 46431af
commit 06dd0d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/teams/rustdoc.toml b/teams/rustdoc.toml
@@ -8,7 +8,6 @@ members = [
     "Manishearth",
     "Nemo157",
     "camelid",
-    "CraftSpider",
     "jsha",
     "notriddle",
     "aDotInTheVoid",
@@ -17,6 +16,7 @@ alumni = [
     "jyn514",
     "kinnison",
     "ollie27",
+    "CraftSpider",
 ]
 
 [[github]]