From: Wolfgang Bangerth Date: Fri, 2 Apr 2021 17:09:26 +0000 (-0600) Subject: Merge pull request #11981 from marcfehling/distributed-signal-2 X-Git-Tag: v9.3.0-rc1~252 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ea64caa59b435be69c14e82a14ed973bfc52c52b;p=dealii.git Merge pull request #11981 from marcfehling/distributed-signal-2 Added `p:d:TemporarilyMatchRefineFlags`. --- ea64caa59b435be69c14e82a14ed973bfc52c52b