Rollup merge of #73290 - LeSeulArtichaut:patch-1, r=Dylan-DPC
Fix links when pinging notification groups I think a blank line is necessary for the link to be applied. Not sure who to assign, r? @Dylan-DPC
This commit is contained in:
commit
0bbc651869
|
@ -42,6 +42,7 @@ Hey Windows Group! This bug has been identified as a good "Windows candidate".
|
|||
In case it's useful, here are some [instructions] for tackling these sorts of
|
||||
bugs. Maybe take a look?
|
||||
Thanks! <3
|
||||
|
||||
[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/windows.html
|
||||
"""
|
||||
label = "O-windows"
|
||||
|
@ -52,6 +53,7 @@ Hey ARM Group! This bug has been identified as a good "ARM candidate".
|
|||
In case it's useful, here are some [instructions] for tackling these sorts of
|
||||
bugs. Maybe take a look?
|
||||
Thanks! <3
|
||||
|
||||
[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/arm.html
|
||||
"""
|
||||
label = "O-ARM"
|
||||
|
|
Loading…
Reference in New Issue