-
Notifications
You must be signed in to change notification settings - Fork 13.5k
notify me when rdg is touched #142904
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
notify me when rdg is touched #142904
Conversation
|
|
This comment has been minimized.
This comment has been minimized.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Kewl
Ah yeah, can you remove the @bors delegate+ (r=me after that) |
@bors rollup |
notify me when rdg is touched r? jieyouxu
Rollup of 5 pull requests Successful merges: - #142493 (rework `#[naked]` attribute parser) - #142636 (bootstrap.example.toml: use less contextual format) - #142822 (Make `PartialEq` a `const_trait`) - #142892 (Fix ICE on debug builds where lints are delayed on the crate root) - #142904 (notify me when rdg is touched) Failed merges: - #142827 (Move error code explanation removal check into tidy) r? `@ghost` `@rustbot` modify labels: rollup
Rollup merge of #142904 - tshepang:patch-1, r=jieyouxu notify me when rdg is touched r? jieyouxu
r? jieyouxu