PR #2439 Fix tied_pointers_to_remove type

Fix tied_pointers_to_remove type #2439

fxmarty merged 1 commit into main from fix-none-error

fix tied_pointers_to_remove

903d1a6d

fxmarty requested a review from

SunMarc 2 years ago

fxmarty requested a review from

muellerzr 2 years ago

SunMarc approved these changes on 2024-02-13

fxmarty merged b38590a2 into main 2 years ago

fxmarty deleted the fix-none-error branch 2 years ago

Reviewers

SunMarc

muellerzr

Assignees

No one assigned

Labels

None yet

Milestone

No milestone