From: Peter Munch 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