From: Matthias Maier Date: Fri, 11 Aug 2023 14:30:18 +0000 (+0000) Subject: Merge pull request #15870 from sebproell/double-underscore X-Git-Tag: relicensing~598 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b659a30f862640c17a3e9b22e0a5adc050e39de3;p=dealii.git Merge pull request #15870 from sebproell/double-underscore Don't use implementation-reserved double underscores --- b659a30f862640c17a3e9b22e0a5adc050e39de3