From: Matthias Maier Date: Mon, 28 Jun 2021 20:50:44 +0000 (-0500) Subject: Merge pull request #12518 from drwells/cherry-pick-12468 X-Git-Tag: v9.3.1~6 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d6e1b2cc7dea462ef65de14e18c1b6f62498d8b5;p=dealii.git Merge pull request #12518 from drwells/cherry-pick-12468 [9.3] Take over #12468 - Fix a segmentation fault at high optimization levels. --- d6e1b2cc7dea462ef65de14e18c1b6f62498d8b5