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 clipboardApr 4, 2021

+11-30

Commits

Commits on Apr 3, 2021

• Remove unneeded INITIAL_IDS const

  GuillaumeGomez

  committed
  13e482b