mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-28 03:07:24 +03:00
chore: Ping Muscraft when annnotate snippets emitter is modified
This commit is contained in:
@@ -1064,6 +1064,10 @@ cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@vakaras"]
|
||||
message = "`rustc_error_messages` was changed"
|
||||
cc = ["@davidtwco", "@compiler-errors", "@TaKO8Ki"]
|
||||
|
||||
[mentions."compiler/rustc_errors/src/annotate_snippet_emitter_writer.rs"]
|
||||
message = "`rustc_errors::annotate_snippet_emitter_writer` was changed"
|
||||
cc = ["@Muscraft"]
|
||||
|
||||
[mentions."compiler/rustc_errors/src/translation.rs"]
|
||||
message = "`rustc_errors::translation` was changed"
|
||||
cc = ["@davidtwco", "@compiler-errors", "@TaKO8Ki"]
|
||||
|
||||
Reference in New Issue
Block a user