Fix memory leak when calling `.destroy`#745

Open

mreishus wants to merge 1 commit intomistic100:devfrom

Commits on Nov 12, 2018

Fix memory leak when calling `.destroy`

Matthew Reishus
authored and
Matthew Reishus
committed