Skip to content

some more is_zst that should be is_1zst#115340

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

Commits

Commits on Aug 29, 2023