From: Peter Munch Date: Sun, 15 May 2022 19:14:17 +0000 (+0200) Subject: Merge pull request #13737 from peterrum/ldv_fix_size X-Git-Tag: v9.4.0-rc1~214 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=99b9d4fc63e9cb02945c127215dcb7c1d5291213;p=dealii.git Merge pull request #13737 from peterrum/ldv_fix_size LA:d:V: fix size in the case of shared memory --- 99b9d4fc63e9cb02945c127215dcb7c1d5291213