tree eabd84cedf4412cd3cc19351de50d98e80574cf7
parent 42db029cfca674b2c8a6a925e9b9cc31516a81b3
author Davide Pesavento <davidepesa@gmail.com> 1699744243 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1699744243 -0500

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

See also named-data/NFD@0a05f7aea6e56a32139a6271de1f98536153a86a

Change-Id: I8926b31bc8757684b939e5e41e80e196e644b7c6