tree e84535a971c2d89b1c21e2ba23e04924baf00c09
parent 327fb4b0fdc221136c0d999f16117216e8753249
author Davide Pesavento <davidepesa@gmail.com> 1571328012 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1571416878 -0400

catchunks: silence new clang-10 warning "final-dtor-non-final-class"

Change-Id: I50052872199fb6ca621f4abe5ab2636735604373