From: David Wells Date: Tue, 23 May 2023 12:47:41 +0000 (-0400) Subject: Merge pull request #15245 from bangerth/arkode X-Git-Tag: v9.5.0-rc1~206 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=69c845d78c33419aa6b1f3037930709ed4ca79da;p=dealii.git Merge pull request #15245 from bangerth/arkode Avoid making a variable 'public' in the ARKode interfaces. --- 69c845d78c33419aa6b1f3037930709ed4ca79da