From: Daniel Arndt Date: Tue, 1 Sep 2020 13:58:47 +0000 (-0400) Subject: Merge pull request #10860 from drwells/remove-deletes X-Git-Tag: v9.3.0-rc1~1150 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7d4b2c22d87581391942fe2c2b0d24726eb5fe66;p=dealii.git Merge pull request #10860 from drwells/remove-deletes Wrap some more calls to delete with unique_ptr. --- 7d4b2c22d87581391942fe2c2b0d24726eb5fe66