From: Peter Munch <peterrmuench@gmail.com>
Date: Wed, 9 Aug 2023 04:34:32 +0000 (+0200)
Subject: Merge pull request #15861 from peterrum/gc_vtable
X-Git-Tag: relicensing~605
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=899e38bd8ffeae617219486fc1e4411c08b94376;p=dealii.git

Merge pull request #15861 from peterrum/gc_vtable

Remove not needed virtual
---

899e38bd8ffeae617219486fc1e4411c08b94376