Skip to content

Miri: do not consider memory allocated by caller_location leaked#66844

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:caller-location-leak
Nov 30, 2019
Merged

Miri: do not consider memory allocated by caller_location leaked#66844
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:caller-location-leak

do not consider memory allocated by caller_location leaked

3048d7e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs