From: Martin Kronbichler Date: Sun, 21 Jun 2020 08:41:35 +0000 (+0200) Subject: Merge pull request #10563 from masterleinad/cleanup_dof_tools X-Git-Tag: v9.3.0-rc1~1409 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0f54c8adbe8cb5876128f1a7317b1dee03b8b165;p=dealii.git Merge pull request #10563 from masterleinad/cleanup_dof_tools Remove the deprecated DoFTools::extract_locally_owned_dofs --- 0f54c8adbe8cb5876128f1a7317b1dee03b8b165