Skip to content

core/panicking: fix outdated comment#122963

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:core-panicking
Mar 24, 2024
Merged

core/panicking: fix outdated comment#122963
bors merged 1 commit intorust-lang:masterfrom
RalfJung:core-panicking

Commits

Commits on Mar 23, 2024