From: Marc Fehling <mafehling.git@gmail.com>
Date: Mon, 17 Apr 2023 16:03:27 +0000 (-0600)
Subject: Merge pull request #139 from davidscn/update-deprecated
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9cbc7c4efa44a58789de9f40e7ef81ebb0d2e38c;p=code-gallery.git

Merge pull request #139 from davidscn/update-deprecated

Update deprecated deal.II function `extract_boundary_dofs()`
---

9cbc7c4efa44a58789de9f40e7ef81ebb0d2e38c