tree e72a20f4d3c8fffad24b178364e417c893e272c8
parent e758ccaff0b5d363a10d5c28c16855ea44ba3810
author Mark D. Roth <roth@google.com> 1592857483 -0700
committer Mark D. Roth <roth@google.com> 1592857483 -0700

add missing virtual dtor