Skip to content

rename erase_regions to erase_and_anonymize_regions#145717

Merged
bors merged 3 commits into
rust-lang:masterfrom
BoxyUwU:erase_regions_rename
Sep 9, 2025
Merged

rename erase_regions to erase_and_anonymize_regions#145717
bors merged 3 commits into
rust-lang:masterfrom
BoxyUwU:erase_regions_rename

Add assertion

8cde544
Select commit
Loading
Failed to load commit list.
Sign in for the full log view