From: Martin Kronbichler Date: Mon, 20 Jul 2020 14:21:09 +0000 (+0200) Subject: Merge pull request #10708 from peterrum/data_out_mapping_collection X-Git-Tag: v9.3.0-rc1~1267 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1fadcc4ae19153c8340bb55405a99786b658fd2a;p=dealii.git Merge pull request #10708 from peterrum/data_out_mapping_collection Accept MappingCollection in DataOut::build_patches() --- 1fadcc4ae19153c8340bb55405a99786b658fd2a