destroy() should always call the destructor because the caller may rely on the destructor to do clean-ups.pull/444/head
parent
802e1848ad
commit
5a9be2c6f6
1 changed files with 6 additions and 8 deletions
Loading…
Reference in new issue