From: David Wells Date: Thu, 27 Feb 2025 20:02:59 +0000 (-0500) Subject: Merge pull request #18173 from bangerth/unused X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6cd94d28cb262207520dc51014552c069328f923;p=dealii.git Merge pull request #18173 from bangerth/unused Remove variables that are only ever set, but never read. --- 6cd94d28cb262207520dc51014552c069328f923