Repository navigation

Rollup of 5 pull requests - #116384

Merged

bors merged 13 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-se332zs

Oct 3, 2023

Merged

Rollup of 5 pull requests#116384
bors merged 13 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-se332zs

Commits on Aug 14, 2023
- Suggest `pin!()` instead of `Pin::new()` when appropriate
  estebank
  committed
  2c3fd1a
- rebase and review comments
  estebank
  committed
  6b58fbf
Commits on Sep 29, 2023
- a small wf and clause cleanup
  lcnr
  committed
  a4f6770
- specialization: use clause
  lcnr
  committed
  aac29a0
Commits on Sep 30, 2023
- Fix broken links
  cuishuang
  committed
  6ef3fd7
Commits on Oct 2, 2023
- Factor out common token generation in `fluent_messages`.
  nnethercote
  committed
  5f4177a
- Fix a comment.
  nnethercote
  committed
  57397de
Commits on Oct 3, 2023