From: Marc Fehling Date: Tue, 20 Aug 2024 20:52:22 +0000 (-0600) Subject: Merge pull request #17575 from masterleinad/cherry_pick_17567 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bc35ffbb78419c10f44e3058a99a03c24f5fb38a;p=dealii.git Merge pull request #17575 from masterleinad/cherry_pick_17567 [9.6] Create new string when demangling stacktraces --- bc35ffbb78419c10f44e3058a99a03c24f5fb38a