From: David Wells Date: Thu, 24 Aug 2017 21:07:13 +0000 (-0400) Subject: Merge pull request #4934 from bangerth/vector-memory-cleanup X-Git-Tag: v9.0.0-rc1~1175 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4380f31a801c1992af1aba904dc00d348ab42c82;p=dealii.git Merge pull request #4934 from bangerth/vector-memory-cleanup Further VectorMemory cleanups. --- 4380f31a801c1992af1aba904dc00d348ab42c82