From: Matthias Maier <tamiko@43-1.org>
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