Code

Make handle_options public again.#116827

Code

Merged

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

nnethercote:pub-handle_optionsnnethercote/rust:pub-handle_optionsCopy head branch name to clipboard

Oct 17, 2023

Commits

Commits on Oct 17, 2023

• Make `handle_options` public again.

  nnethercote

  committed
  b0e1a52

  Copy full SHA for b0e1a52