From: Wolfgang Bangerth Date: Sat, 6 Jun 2020 14:01:17 +0000 (+0200) Subject: Merge pull request #10470 from masterleinad/fix_more_address_sanitizer X-Git-Tag: v9.3.0-rc1~1478 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f346ebc02bfbd1182284328487fc4bf19667aa4d;p=dealii.git Merge pull request #10470 from masterleinad/fix_more_address_sanitizer Fix more issues found by AddressSanitizer --- f346ebc02bfbd1182284328487fc4bf19667aa4d