From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Sat, 11 May 2019 10:25:55 +0000 (+0200)
Subject: Merge pull request #8065 from kronbichler/dof_renumbering_cleanup
X-Git-Tag: v9.1.0-rc1~73
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=346810fc1a5441d0bda770510ac5cab238290d5b;p=dealii.git

Merge pull request #8065 from kronbichler/dof_renumbering_cleanup

DoFHandlerPolicy::renumber_dofs: skip unnecessary index set computation
---

346810fc1a5441d0bda770510ac5cab238290d5b