From: Wolfgang Bangerth Date: Fri, 12 Jun 2015 02:57:59 +0000 (-0700) Subject: Merge pull request #991 from Rombur/deprecate_vector X-Git-Tag: v8.3.0-rc1~122 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ed61cd0437f15057a8bb95f9d1ca527880fddb7;p=dealii.git Merge pull request #991 from Rombur/deprecate_vector [RFC] Clean distributed vectors --- 4ed61cd0437f15057a8bb95f9d1ca527880fddb7