Skip to content

Make handle_options public again.#116827

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:pub-handle_options
Oct 17, 2023
Merged

Make `handle_options` public again.#116827
bors merged 1 commit intorust-lang:masterfrom
nnethercote:pub-handle_options

Commits

Commits on Oct 17, 2023