Repository navigation

Rollup of 5 pull requests - #115204

Merged

bors merged 11 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-avsp3t3

Aug 25, 2023

Commits on Aug 12, 2023
- Name what ln_gamma does
  workingjubilee
  committed
  90dc2f8
Commits on Aug 21, 2023
- Allow overwriting ExpnId for concurrent decoding
  Zoxc
  committed
  d9f7005
Commits on Aug 23, 2023
- Check that the old values match
  Zoxc
  committed
  6101ddd
Commits on Aug 24, 2023
- remove some unnecessary ignore-debug clauses
  RalfJung
  committed
  e4c4f9b
- Add comment to the push_trailing function
  allaboutevemirolive
  committed
  a8827ee
Commits on Aug 25, 2023