From: Peter Munch Date: Sat, 19 Sep 2020 19:33:14 +0000 (+0200) Subject: Merge pull request #10935 from masterleinad/deprecated_parallel_triangulation X-Git-Tag: v9.3.0-rc1~1100 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ce7b8fd3ef87486d2461efd62ec8738d6a0e8efd;p=dealii.git Merge pull request #10935 from masterleinad/deprecated_parallel_triangulation Avoid gcc-10 warning about deprecated parallel::Triangulation --- ce7b8fd3ef87486d2461efd62ec8738d6a0e8efd