From: Martin Kronbichler Date: Fri, 8 May 2020 10:28:05 +0000 (+0200) Subject: Merge pull request #9948 from peterrum/coarse_cell_index_to_coarse_cell_id_private X-Git-Tag: v9.2.0-rc1~85 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d7e7bd3364e2509537d600f60b962f44a5a27f67;p=dealii.git Merge pull request #9948 from peterrum/coarse_cell_index_to_coarse_cell_id_private Make coarse_cell_*_to_coarse_cell_* private --- d7e7bd3364e2509537d600f60b962f44a5a27f67