Merge pull request #1216 from janvorli/fix-destructor-contracts
authorJan Vorlicek <janvorli@microsoft.com>
Fri, 10 Jul 2015 19:22:05 +0000 (21:22 +0200)
committerJan Vorlicek <janvorli@microsoft.com>
Fri, 10 Jul 2015 19:22:05 +0000 (21:22 +0200)
Add missing contracts to some destructors


Trivial merge