]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15564 from tamiko/do_not_abuse_subscriptor_pointer
authorMatthias Maier <tamiko@43-1.org>
Sun, 2 Jul 2023 14:23:48 +0000 (14:23 +0000)
committerGitHub <noreply@github.com>
Sun, 2 Jul 2023 14:23:48 +0000 (14:23 +0000)
commitfc0a49187da0d0326fca82c1a326d74713c89cbd
treed0653802630301e87a5b7ed0b8c1e711fe942e97
parent47752a112e8bde029bec7701ac6f9d6748429961
parent4d6668b55a53ca4758d007fafc06ad3a5422ba73
Merge pull request #15564 from tamiko/do_not_abuse_subscriptor_pointer

FESystem: do not abuse Subscriptor* as a fancy void*

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.