From: Daniel Arndt Date: Fri, 15 Mar 2024 19:58:50 +0000 (-0400) Subject: Merge pull request #16714 from simonsticko/fix_terminate_gmsh_grid_in X-Git-Tag: v9.6.0-rc1~479 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3a23d31f30958a24909f33aa58b53ac95b3f2930;p=dealii.git Merge pull request #16714 from simonsticko/fix_terminate_gmsh_grid_in Fix unintended terminate in gmsh-API version of read_msh --- 3a23d31f30958a24909f33aa58b53ac95b3f2930