tree 90c1fb1b2492dc252348227aa1809ca0c92f80d9
parent 8e0338db8a8bdbcd1ddd5667ad884ddb56bba37d
author Don Turner <donturner@google.com> 1528220086 +0100
committer Don Turner <dturner@users.noreply.github.com> 1528220190 +0100

Removing redundant destructor