X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=triagebot.toml;h=d358e59c2452549c678126b6a0e53c1b1d4ec7c9;hb=20559c41e8bee46704b7d44843349f6c0e454da2;hp=12a55fda7ef4d5ed4bf482812a80a27432cf8842;hpb=2c893737a654776f9f480dbace1bb0d3da45f5bd;p=rust.git diff --git a/triagebot.toml b/triagebot.toml index 12a55fda7ef..d358e59c245 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -356,7 +356,7 @@ cc = ["@ehuss"] cc = ["@rust-lang/clippy"] [mentions."src/tools/miri"] -message = "The Miri submodule was changed" +message = "The Miri subtree was changed" cc = ["@rust-lang/miri"] [mentions."src/tools/rustfmt"]