Skip to content

Commit 112d4a2

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 76df6ef + abcfa43 commit 112d4a2

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
@@ -1071,7 +1071,7 @@ cc = ["@rust-lang/rustfmt"]
10711071

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

10761076
[mentions."compiler/rustc_error_messages"]
10771077
message = "`rustc_error_messages` was changed"
@@ -1405,7 +1405,6 @@ arena = [
14051405
"@spastorino",
14061406
]
14071407
mir = [
1408-
"@davidtwco",
14091408
"@oli-obk",
14101409
"@matthewjasper",
14111410
"@saethlin",

0 commit comments

Comments
 (0)