Skip to content

Streamline register_res.#101830

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:streamline-register_res
Sep 15, 2022
Merged

Streamline `register_res`.#101830
bors merged 1 commit intorust-lang:masterfrom
nnethercote:streamline-register_res

Commits

Commits on Sep 14, 2022