From: David Wells <drwells@email.unc.edu>
Date: Fri, 7 Oct 2022 16:18:36 +0000 (-0400)
Subject: Merge pull request #14330 from peterrum/gc_memory_consumption
X-Git-Tag: v9.5.0-rc1~906
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6299ec43a3ada4efa1c416f6408210ec0d2ffe01;p=dealii.git

Merge pull request #14330 from peterrum/gc_memory_consumption

Implement some memory_consumption() functions
---

6299ec43a3ada4efa1c416f6408210ec0d2ffe01