-
Notifications
You must be signed in to change notification settings - Fork 557
Commit b0569c8
Rollup merge of #146172 - RalfJung:triagebot-keyword-mentions, r=Urgau
triagebot: configure some pings when certain attributes are used
Let's try this out in practice. :)
Cc `@rust-lang/miri` `@rust-lang/wg-const-eval` `@Urgau`File tree
0 file changed
+0
-0
lines changed0 file changed
+0
-0
lines changed
0 commit comments