From: Peter Munch <peterrmuench@gmail.com>
Date: Tue, 17 May 2022 08:17:46 +0000 (+0200)
Subject: Merge pull request #13747 from tamiko/fix_step_75_emplace
X-Git-Tag: v9.4.0-rc1~207
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=af0efbf16c5e43228492a37c9d42bd5c361b591c;p=dealii.git

Merge pull request #13747 from tamiko/fix_step_75_emplace

Step-75: use well-formed deleter
---

af0efbf16c5e43228492a37c9d42bd5c361b591c