Skip to content

library: update comment around close()#133330

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:close
Nov 22, 2024
Merged

library: update comment around close()#133330
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:close

library: update comment around close()

729d3aa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs