tree 9cef97e0a0e5c6ab51d00f8b7c93ab0cb487cf2c
parent 43fafd5d12ec3e811fd5c04476c2da08f7d95a28
author Davide Pesavento <davidepesa@gmail.com> 1698535963 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1698535963 -0400

build: disable `-Wnon-virtual-dtor` compiler warning

See also named-data/NFD@0a05f7aea6e56a32139a6271de1f98536153a86a

Change-Id: Id615459e8b9db20ae54851b3b4808b4c5e94d3b0