Skip to content

Commit 9d957a8

Browse files
authored
Rollup merge of #145571 - davidtwco:davidtwco-remove-from-groups, r=lqd
remove myself from some adhoc-groups and pings Removing myself from some adhoc-groups related to the MIR as its been quite a while since I've worked in that area
2 parents 3e1a63d + abcfa43 commit 9d957a8

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

triagebot.toml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1070,7 +1070,7 @@ cc = ["@rust-lang/rustfmt"]
10701070

10711071
[mentions."compiler/rustc_middle/src/mir/syntax.rs"]
10721072
message = "This PR changes MIR"
1073-
cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@vakaras"]
1073+
cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@vakaras"]
10741074

10751075
[mentions."compiler/rustc_error_messages"]
10761076
message = "`rustc_error_messages` was changed"
@@ -1404,7 +1404,6 @@ arena = [
14041404
"@spastorino",
14051405
]
14061406
mir = [
1407-
"@davidtwco",
14081407
"@oli-obk",
14091408
"@matthewjasper",
14101409
"@saethlin",

0 commit comments

Comments
 (0)