From: Matthias Maier Date: Sun, 2 Jul 2023 14:23:48 +0000 (+0000) Subject: Merge pull request #15564 from tamiko/do_not_abuse_subscriptor_pointer X-Git-Tag: relicensing~814 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fc0a49187da0d0326fca82c1a326d74713c89cbd;p=dealii.git Merge pull request #15564 from tamiko/do_not_abuse_subscriptor_pointer FESystem: do not abuse Subscriptor* as a fancy void* --- fc0a49187da0d0326fca82c1a326d74713c89cbd