From: Bruno Turcksin Date: Mon, 24 Mar 2025 14:38:07 +0000 (-0500) Subject: Merge pull request #18280 from bangerth/map X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b034729ccc0103c53bba16c9e99ae2ce91f8ecca;p=dealii.git Merge pull request #18280 from bangerth/map Fix a problem with DoFTools::map_dofs_to_support_points() and FE_Nothing. --- b034729ccc0103c53bba16c9e99ae2ce91f8ecca