From: David Wells Date: Tue, 14 Jul 2020 23:14:35 +0000 (-0400) Subject: Merge pull request #10704 from peterrum/communicate_active_fe_indices X-Git-Tag: v9.3.0-rc1~1293 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dae1c13b02133a6f0a6147e53b4f11e80176dded;p=dealii.git Merge pull request #10704 from peterrum/communicate_active_fe_indices Fix cast in communicate_active_fe_indices() --- dae1c13b02133a6f0a6147e53b4f11e80176dded