Skip to content

some more is_zst that should be is_1zst - #115340

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:more_is_1zst
Aug 29, 2023
Merged

bors merged 1 commit into
rust-lang:masterfrom
RalfJung:more_is_1zst

Commits

Commits on Aug 29, 2023