tree 1eef188822ebfb8ed61abde2fd895feb6fb85dc0
parent fdc3d110516a6d2f62e68d2f76c4aeace580de40
parent 7e566a79263dfc07cd1d671b3f1dd1afe2b454ae
author Android (Google) Code Review <android-gerrit@google.com> 1246993932 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1246993932 -0700

Merge change 6367 into donut

* changes:
  Add virtual destructor.