From 99f917bfa62627e3a172357c47260f5ee6115af8 Mon Sep 17 00:00:00 2001 From: David Wood Date: Mon, 12 Sep 2022 11:08:49 +0100 Subject: [PATCH] add zulip group for wg-polymorphization Signed-off-by: David Wood --- teams/wg-polymorphization.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/teams/wg-polymorphization.toml b/teams/wg-polymorphization.toml index aef296c65..c7da0161c 100644 --- a/teams/wg-polymorphization.toml +++ b/teams/wg-polymorphization.toml @@ -11,3 +11,6 @@ name = "Polymorphization working group" description = "Implementing polymorphization to reduce unnecessary monomorphisation in rustc" repo = "https://rust-lang.github.io/compiler-team/working-groups/polymorphization/" zulip-stream = "t-compiler/wg-polymorphization" + +[[zulip-groups]] +name = "WG-polymorphization"