Rationale: * delete ptr is a no-op if ptr is nullptrpull/476/merge
parent
140de14a12
commit
b109a1c396
Loading…
Reference in new issue