Skip to content

Mention "null pointer optimization" in option docs.#85826

Merged
bors merged 1 commit intorust-lang:masterfrom
jsha:npo
Jun 1, 2021

Commits

Commits on May 29, 2021