Skip to content

Improve the documentation of drain members#92902

Merged
bors merged 1 commit into
rust-lang:masterfrom
ssomers:docter_drain
Feb 19, 2022
Merged

Improve the documentation of drain members#92902
bors merged 1 commit into
rust-lang:masterfrom
ssomers:docter_drain

Collections: improve the documentation of drain members

a677e60
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs