From: Peter Munch Date: Fri, 7 Jan 2022 17:29:51 +0000 (+0100) Subject: Merge pull request #13187 from peterrum/rpe_marked_vertices_false X-Git-Tag: v9.4.0-rc1~651 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=184c14fb7bf5dced7fd668c6ff66c5602bed5ba8;p=dealii.git Merge pull request #13187 from peterrum/rpe_marked_vertices_false Fix RemotePointEvalution::marked_vertices for vectors with only false --- 184c14fb7bf5dced7fd668c6ff66c5602bed5ba8