diff options
| author | bors <bors@rust-lang.org> | 2024-10-02 16:24:05 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-10-02 16:24:05 +0000 |
| commit | 5384697e9e73709301850a414e1cc40324e6460b (patch) | |
| tree | 125ebc0214a035ac43fd09ee1a5edade5a3b1603 /.github | |
| parent | 44722bd9ba50426191f78d12138a2ae1a12affe7 (diff) | |
| parent | b38f7ad9b18ae2bc7e8073e7ec64453ac617f516 (diff) | |
| download | rust-5384697e9e73709301850a414e1cc40324e6460b.tar.gz rust-5384697e9e73709301850a414e1cc40324e6460b.zip | |
Auto merge of #131158 - matthiaskrgr:rollup-3x2vado, r=matthiaskrgr
Rollup of 7 pull requests Successful merges: - #130863 (Relax a debug assertion for dyn principal *equality* in codegen) - #131016 (Apple: Do not specify an SDK version in `rlib` object files) - #131140 (Handle `rustc_hir_analysis` cases of `potential_query_instability` lint) - #131141 (mpmc doctest: make sure main thread waits for child threads) - #131150 (only query `params_in_repr` if def kind is adt) - #131151 (Replace zero-width whitespace with a visible `\` in the PR template) - #131152 (Improve const traits diagnostics for new desugaring) r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to '.github')
| -rw-r--r-- | .github/pull_request_template.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index fd54a153a16..ecf8f993f90 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -7,6 +7,6 @@ tracking issue or there are none, feel free to ignore this. This PR will get automatically assigned to a reviewer. In case you would like a specific user to review your work, you can assign it to them by using - r? <reviewer name> + r\? <reviewer name> (with the `\` removed) --> <!-- homu-ignore:end --> |