From: Matthias Maier <tamiko@43-1.org>
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