From: Marc Fehling Date: Thu, 6 Feb 2025 09:57:37 +0000 (+0100) Subject: Merge pull request #18094 from bangerth/numbers X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f9f6d29eb0bbc0dab44d2ec01d56b0a676331cd3;p=dealii.git Merge pull request #18094 from bangerth/numbers Remove 'static' from a number of other variables in header files. --- f9f6d29eb0bbc0dab44d2ec01d56b0a676331cd3