From: Marc Fehling Date: Sun, 30 May 2021 04:42:23 +0000 (-0600) Subject: Merge pull request #12347 from peterrum/pst_copy_triangulation_cast X-Git-Tag: v9.4.0-rc1~1315 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b8840ef0713f7b5452d8aa32cb2aa618f5e4ce9b;p=dealii.git Merge pull request #12347 from peterrum/pst_copy_triangulation_cast Fix a dynamic cast in psT::copy_triangulation() --- b8840ef0713f7b5452d8aa32cb2aa618f5e4ce9b