From: Daniel Arndt Date: Fri, 7 Jul 2023 11:53:15 +0000 (-0400) Subject: Merge pull request #15666 from bangerth/vsv-la-vector X-Git-Tag: relicensing~729 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cb786b5e7996e4e0dfa7764cfbbdd4af8d4c9ecf;p=dealii.git Merge pull request #15666 from bangerth/vsv-la-vector --- cb786b5e7996e4e0dfa7764cfbbdd4af8d4c9ecf