From: Wolfgang Bangerth Date: Sat, 3 Feb 2018 14:57:19 +0000 (-0700) Subject: Merge pull request #5834 from masterleinad/fullmatrix_size_type X-Git-Tag: v9.0.0-rc1~479 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ca67968854ccc7b6b80d1ee16e2e6a838f3c934;p=dealii.git Merge pull request #5834 from masterleinad/fullmatrix_size_type FullMatrix size type --- 8ca67968854ccc7b6b80d1ee16e2e6a838f3c934