This repository was archived by the owner on Oct 12, 2022. It is now read-only.
Improved semantics for destroy() #2126
+122
−37
Open