From: Luca Heltai Date: Mon, 6 Apr 2020 13:45:17 +0000 (+0200) Subject: Merge pull request #9792 from dougshidong/vector_adaptor_ghosted X-Git-Tag: v9.2.0-rc1~286 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=71c7a013e92f4c794fcb115f9c50a4f92eefaed6;p=dealii.git Merge pull request #9792 from dougshidong/vector_adaptor_ghosted Allow vector_adaptor to work on ghosted vectors. --- 71c7a013e92f4c794fcb115f9c50a4f92eefaed6