From: David Wells Date: Thu, 26 Jun 2025 02:51:40 +0000 (-0400) Subject: Merge pull request #18583 from bangerth/override X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=132533ee2a509506957f6c9d27f16fb8bb10f818;p=dealii.git Merge pull request #18583 from bangerth/override Mark a bunch of functions with 'override'. --- 132533ee2a509506957f6c9d27f16fb8bb10f818