[util] Fix more non-virtual-destructor warnings
authorBehdad Esfahbod <behdad@behdad.org>
Sun, 30 Sep 2018 10:06:26 +0000 (06:06 -0400)
committerBehdad Esfahbod <behdad@behdad.org>
Sun, 30 Sep 2018 10:08:11 +0000 (06:08 -0400)
commit89ed040b21b366c927199bedd0e4cb060389d076
tree4c7fd6a60c0c941213096e9523bacfabfc82577c
parent2382dd07fa6ff49638b146a523e9d2e93cf69ceb
[util] Fix more non-virtual-destructor warnings
util/options.hh