Code

Remove unneeded INITIAL_IDS const#83809

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:remove-initial-idsGuillaumeGomez/rust:remove-initial-idsCopy head branch name to clipboard

Apr 4, 2021

Commits

Commits on Apr 3, 2021

• Remove unneeded INITIAL_IDS const

  GuillaumeGomez

  committed
  13e482b

  Copy full SHA for 13e482b