From: Matthias Maier Date: Tue, 4 Jul 2023 02:27:03 +0000 (+0000) Subject: Merge pull request #15632 from bangerth/virtual X-Git-Tag: relicensing~768 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=caca3d3891475c41dd0e5d2a72ed09dc007cedcb;p=dealii.git Merge pull request #15632 from bangerth/virtual Mark a 'virtual' function as such. --- caca3d3891475c41dd0e5d2a72ed09dc007cedcb